Professor Heinrich (Heinz) Schmidt (External supervisor)
BSc and MSc in CS (U Bonn, Germany) ("ECDL - a compiler-compiler based on two-level grammars")
PhD in CS (U Bremen, Germany)("Specification and Correct Implementation of Non-Sequential Systems using Abstract Data Types and Petri Nets")
Software engineering, software architecture, enterprise architecture. Parallel OO languages. SOA and agent architectures. Large-scale distributed, real-time, parallel and grid systems. Formal software models; verification and prediction of software properties such as stability, availability, reliability, configurability, robustness, performance and safety properties. Petri nets, algebra and logic; parameterised formal models for compositional specifications, model-checking, model-driven software testing, deployment, monitoring and self-adaptation.