MSc STRL

The Team

Prof. Hussein Zedan, Ph.D. (Bristol), CEng.

STRL Technical Director and Head of Computing Research

Course and Module Leader

Formal methods, verification, Semantics, Critical Systems, Re-engineering, Computer Security, System of Systems, Computer Trust, Transformation Theory, Software Engineering, CBD, IS development, Web Services and Semantic Web



Prof. Hongji Yang, Ph.D. (Durham), MIEEE.

STRL Deputy Technical Director and Head of Computer Science Division

Module Leader

Reverse Engineering, Software Maintenance, Programme Transformation, Metrics, Internet Software



Dr Ben Moszkowski, Ph.D. (Stanford) MIEEE.

Module Leader

Formal Methods, Temporal Logics, Executable Specification, Verification, Compositionality, Model Checkers, Semantics



Dr Antonio Cau, Ph.D. (Kiel, Germany), MIEEE, MKIVI (Holland).

Module Leader

Formal methods, Verification, Compositionality, Executable Specification, Re-engineering, Temporal Logics, Security, Trust, Dependability, Model Checkers, Semantics



Dr Martin Ward, DPhil. (Oxford) MIEEE.

Module Leader

Formal Methods, Reverse Engineering, Programme Transformation



Tim Watson, Ph.D. (De Montfort University)

Module Leader

Distributed Systems, System Integration, Genetic Algorithms



Mr David Smallwood, M. Sc. (Oxford)

Module Leader, Course Tutor and Promoter

Functional Programming, Software Engineering, Formal Methods, Testing, Design



Mr. Peter Norris

Module Leader, Course Tutor and Promoter

Software Engineering, Computer Security, Dependability



Mr. Alan O’Callaghan, M. Sc. (Dublin)

Module Leader

Software Architecture, CBD, Patterns, Pattern Languages, Design, Software Engineering



Paul Pugh

Project Coordinator



Elaine Aspell

Postgraduate Administrator



Jamie Wells

Postgraduate Admissions



If you have any questions about the admissions process then contact Jamie. Elaine is in charge of the administration of the MSc so if you have a problem with documentation, enrolment, visas or out of hours forms, timetables, finance, housing etc. then Elaine is the person to see. For all questions concerning projects, contact Paul or your project supervisor (if you have one). If you have questions or difficulties with a module then you should consult the lecturer for that module in the first instance. And lastly, if you have any other questions or requests then Hussein will be pleased to help in any way that he can.

Prof. Hussein Zedan







May 16 2007
Home | STRL