CREST:Centre for Research on Evolution Search and Testing
Department of Computer Science
University College London
Malet Place, London, WC1E 6BT, UK.
Kelly AndroutsopoulosResearch Associate
I am interested in a currently working on the SLIM (SLIcing state based Models) project, funded by EPSRC, at University College London. The aim of the project is to develop algorithms, methods and techniques for reducing the size of state based models by applying slicing, a technique which has traditionally been applied only to programs.
I hold a MEng degree in Computer Science (Software Engineering) from Imperial College London, and a PhD in Computer Science from King's College.