KCL Computer Science - Kelly Androutsopoulos

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

Activities

Awards: Best Software Science paper (Theory Track) at ETAPS 2009

Programme Committees: International Conference on Model Transformation 2010

In 2009 I attended: ETAPS, TAROT Summer School on Software Testing, LASER Summer School,
1st CREST Open Workshop, 2nd CREST Open Workshop, Testing meets Verification Workshop

In 2010 I am attending: Spring School in Security (I helped with the organisation),
3rd CREST Open Workshop, 5th CREST Open Workshop, ICSE , 7th CREST Open Workshop,
Women in IT conference

Research Projects

I have previously worked on the following research projects:

PEPERS (Mobile Peer-to-Peer Security Infrastructure) project that was funded by the EU, at City University.
SERENITY (Systems Engineering for Security and Dependability project, funded by the EU, at City University.
CORAS (Risk assesssment of security critical systems) project, funded by the EU, at RAL.
Object-oriented Specification of Reactive and Real-time Systems, funded by EPSRC, at Imperial College

Erdos Number

My current Erdos number is 5 based on the path:

Home