Telephone: —
Email: K.Androutsopoulos @ mdx.ac.uk
Office: TG02 Town Hall Building, Hendon Campus
Personal Website
About
- Senior Lecturer
Research Interests
- Slicing finite state machine models
- Specification and verification of reactive systems
- Model Checking and in particular SMV
- Safety analysis techniques
- Dynamic monitoring or runtime verification for security