Kelly AndroutsopoulosSenior LecturerBefore joining Middlesex, I was a post-doc in CREST (Centre for Research on Evolution Search and Testing), first at King's College London (2008-2010) and then University College London (2010-2013), working with Dr. David Clark and Prof. Mark Harman. I have also been a post-doc in the Department of Computer Science at City University (2006-2008) working with Prof. George Spanoudakis and a lecturer at King's College London (2004-2005). I hold a MEng degree in Computer Science (Software Engineering) from Imperial College London, and a PhD in Computer Science from King's College. My research interests are centered around specification and verification of software, in modelling, analysing and understanding specifications, proving that they satisfy properties of interest and creating tools for supporting their development. I have considered challenges introduced by different application domains, such as safety critical systems, security critical systems, mobile peer-to-peer and ambient intelligent systems. Currently, I am interested in the development of static analysis algorithms, specifically slicing, for Extended Finite State Machines in order to enhance comprehension and for model debugging. I maintain a bib file of papers on slicing state-based models. This includes papers mentioned in the ACM Computing Surveys paper: "State-based Model Slicing: A Survey", published in 2013. Publications Research Activities Women in Computing Teaching |
Middlesex University The Burroughs London NW4 4BT, UK Tel: +44(0)2084115131 Email: K.Androutsopoulos(at)mdx.ac.uk My Google Scholar page My Microsoft Academic Research page My Research Gate page My Linked In page |