Kelly Androutsopoulos

Dr. Kelly Androutsopoulos is a Senior Lecturer in the Department of Computer Science at Middlesex University. Her research focuses on static analysis algorithms, finite state machines, security-critical systems, safety-critical systems, and software engineering. She contributes to the development of educational robotics platforms like MIRTO and applies formal methods to improve software correctness and security. Her work spans theoretical foundations and practical applications in areas such as symbolic execution, model slicing, and system validation.

Dr. Androutsopoulos has published extensively on topics including robotic platforms for education, static analysis techniques for WebAssembly, and formal verification of state-based models. Her research emphasizes bridging the gap between theoretical computer science and real-world software engineering challenges, particularly in safety-critical domains.

Her publications reflect a strong emphasis on model-based approaches, with contributions to finite state machine slicing, error propagation analysis, and open-source tools for education. She is affiliated with Middlesex University’s Hendon Campus and can be contacted via K.Androutsopoulos@mdx.ac.uk.