Kelly Androutsopoulos

ACADEMIC STAFF A-Z

Dr. Kelly Androutsopoulos

K.Androutsopoulos
Telephone: TBC
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