|
|
|
Staff
Prof. Hussein
Zedan, Ph.D. (Bristol), CEng:
|
- STRL Technical Director
- Research Interests: Formal methods, verification, semantics, critical systems, re-engineering, Computer Security, CBD, IS development.
|
Prof. Hongji Yang,
Ph.D. (Durham), MIEEE:
|
- STRL Deputy Technical Director
- Research Interests: Reverse Engineering, Software Maintenance, Program Transformation,
Metrics, Internet Software.
|
Prof. James A. Hendler,
Ph.D., ScM (Brown), B.S. (Yale):
|
- Senior Research Scientist; Associate Director of Web Science Research Initiative
- Research Interests: Semantic Web, AI, Robotics, Agent-based
Computing and High Performance Processing.
|
Dr. Antonio Cau,
Ph.D. (Kiel), M.Sc. (Eindhoven), MIEEE, MACM, MKIVI:
|
- Research Interests: Formal methods, Verification, Compositionality,
Executable Specification, Re-engineering.
|
Dr. Ben Moszkowski,
Ph.D. (Stanford), MACM:
|
- Research Interests: Formal methods, Temporal Logic, Executable specification,
Verification.
|
Alan O'Callaghan,
M.Sc. (Dublin):
|
- Research Interests: Object-oriented Design and Analysis, Pattern,
Software Architecture.
|
Dr. Martin Ward,
D.Phil. (Oxford), MIEEE:
|
- Research Interests: Formal methods, Program Transformation, Reverse Engineering.
|
Dr. Amelia Platt,
Ph.D.:
|
- Research Interests: Networking, Distributed Systems.
|
Dr. Helge Janicke, Ph.D. (De Montfort):
|
- Research Interests: Security, Multi-Agent Systems,
Policy Specification and Enforcement.
|
Dr. Francois Siewe, Ph.D. (De Montfort):
|
- Research Interests: Security,
Policy Specification and Enforcement.
|
David Smallwood:
|
- Research Interests: Functional Programming, Formal
Methods, Executable Specification.
|
Dr. Ali H. Al-Bayatti, Ph.D. (De Montfort):
|
- Research Interests: Security management, Ad-hoc Networks,
Communication Protocols.
|
Dr. Feng Chen, Ph.D. (De Montfort):
|
- Research Interests: Software Evolution, Model Driven Systems, Semantic Web.
|
Dr. Giampaolo Bella, Ph.D. (Cambridge University):
|
- Research Interests: Formal Specification and Verification of
Critical Systems, Security Protocols.
|
Associate Staff
Prof. Mikhail Goman, Ph.D. (TsAGI, Moscow Institue of Physics
and Technology) AIAA:
|
- Research Interests: Active control, movable aircraft model,
physical simulation.
|
Dr. Jordan Dimitrov,
Ph.D. (De Montfort), M.Sc. (Warwick):
|
- Research Interests: Formal Methods, Hardware/Software Codesign, Temporal Logic.
|
|
|
|
Staff