t the Department of Computing we are involved regularly in Software Engineering, Program Automatic Analysis, Programming Languages and Algorithms courses both at the undergraduate and graduate level. We also provide courses on selected Software Engineering topics for software development organisations. Topics include Requirements Engineering, Software Architecture, Verification and Validation, Software Modelling, and Software Design.