Mark Harman is Professor of Software Engineering and head of the Software Engineering Group, of which the CREST is a part. He has worked extensively on program slicing, transformation and testing and more recently he was instrumental in founding the field of search-based software engineering.

Jens Krinke's current research topics include program analysis for software engineering purposes, in particular for bug detection, taint analysis and information flow control. He has worked on program slicing, aspect mining, clone detection, and traceability.

David's interest include: analysing programs and specifications for information flow; verifying security properties for programs and specifications; security related applications of data mining; automatic analysis of programs and specifications; semantics of state based models; slicing for state based models; malware detection

Nicolas Gold is a lecturer in the Software Engineering Group in the Department of Computer Science at King's College London. He is Learning and Teaching Co-ordinator for the School of Physical Sciences and Engineering. He was the first deputy director of the Centre for Research in Evolution Search and Testing (CREST). The centre undertakes research in a wide range of topics in Software Engineering. His interests are in software evolution "in the small" and "in the large". His current active research is in the development of high-level slicing criteria through the CONTRACTS project. He is the co-ordinator for the SoSORNet research network on service-oriented software.

Kelly Androutsopoulos is an RA on the SLIM (SLIcing state based Models) project funded by EPSRC. The aim of the project is to develop algorithms, methods and techniques for reducing the size of state based models by applying slicing, which has been traditionally applied to program code.

Kelly has previously worked on specifying reactive systems in a state based notation called RSDS and verifying them in SMV (a symbolic model checker) and dynamic verification of mobile peer-to-peer systems for detecting security violations as part of the PEPERS project that was funded by the EU.

Youssef Hassoun is an RA on the EvoTest (Evolutionary Testing) project funded by the EU. The project, in which leading European partners in industry and academia are involved, aims at developing search based techniques using evolutionary algorithms for automating test data generation. His part in the project is to develop techniques for search space reduction using static code analysis methods. He also maintains VADA (VAriable Dependence Analysis), a tool developed for analysing program variables dependencies.

Kiran Lakhotia is working on search based testing. His main interest is in automated test data generation for structural test adequacy criteria.

Dr. Bill Langdon has joined CREST as an RA on the SEBASE project on 1st November. Bill has extensive expertise and experience in Genetic Programming, with over 150 publications, including several widely cited books and papers. He is a member of the editorial board of Evolutionary Computation and of Genetic Programming and Evolvable Machines and has served on many programme committees and program chair for EuroGP'99, 2000 and 2001 and for GECCO 2001 and 2002.

Zheng Li is an RA on the SLIM project. His present research interests include search-based software engineering, source code analysis and manipulation, dependence analysis and regression testing.

Shin Yoo is working on search based software engineering, especially in relation to the optimization of regression testing within the SEBASE project. After finishing BSc in Computer Engineering, he worked in the industry for a few years as software engineer and technical consultant. He obtained an MSc in Advanced Software Engineering and a PhD in Computing at King's College London.

Yuanyuan Zhang is working on search based optimization for requirements engineering within the SEBASE project.

Nadia has joined CREST as a PhD student on the SEBASE project. Her supervisors are Mark Harman and Jens Krinke. She is working on automation of web application testing.

Khalid is working on code obfuscation and dependence analysis for security supervised by David Clark.

Connie Boa is working on Aspect Oriented Service Based Architectures. Her first supervisor is Nicolas Gold and her second supervisor is Mark Harman.

Mustafa is working on search-based test data generation and service-oriented computing in particular, supervised by Mark Harman. He is also interested in GUI development and automated GUI testing.

Currently researching on how to quantify information flow for an interactive imperative language

Syed is working on dependence analysis within the SLIM project. His first supervisor is Jens Krinke and his second supervisor is Mark Harman.

Yue Jia is working on mutation testing which uses high order mutants to reduce the computation cost and improve the quality of test sets at the same time. His first supervisor is Mark Harman and his second supervisor is Jens Krinke. In addition to mutation testing, he is also interested in clone detection and source code analysis.

Jia Liu is working on Service Oriented Software Engineering for digital humanities funded by the KC Wong foundation. Her first supervisor is Nicolas Gold and her second supervisor is Mark Harman.

Marian Mohr working on software engineering and service-oriented computing in particular, focussing on performance assessment and optimization in service oriented architectures. His first supervisor is Nicolas Gold and his second supervisor is Mark Harman.

Temitope Onunkun is working on the application of formal methods to the specification of secure systems and the preservation of confidentiality properties through refinement, supervised by David Clark.

Jian Ren is working in Search Based Requirements Engineering and Software Project Management. His first supervisor is Mark Harman and his second supervisor is Jens Krinke. Anthony Finkelstein is an external advisor on the project, which grew out of Jian's MSc work at King's in collaboration with Yuanyuan Zhang, supervised by Mark Harman; work which has already been published at RE 2008.

Akadej has joined CREST as a PhD student of King's College London since October 2009. He works on fuzz testing on security applications under supervision of Jens Krinke and Mark Harman. He has held a Royal Thai scholarship supported by Royal Thai government for his full time study in UK since October 2008.

Jaeeun Yi is working on object code optimization with constraints using search based software engineering. She worked as a software engineer and project manager of various embedded systems for a few years . Her first supervisor is Mark Harman and second supervisor is David Clark.

David's present work on software engineering includes test-case generation using genetic algorithms, refactoring object-oriented code into aspect-oriented code, and empirical investigations of software.

Steve is currently on research leave from Brunel University, where he is a Senior Lecturer in the Department of Information Systems and Computing. His research interests are in refactoring, re-engineering and software metrics. He also has interests in data quality, intelligent data analysis and simulating the software process.

JungSup is a visiting Research Associate here at CREST for 1 year. His interests are in state-based model, automatic test case generation, requirements engineering and model slicing.

Laurence Tratt is a researcher who worked on search-based refactoring as part of the SEBASE project from 2006-2007 and continues to collaborate with CREST on this project and others. He is the designer of the Converge language. He is a member of the IEEE Software Industry Advisory Board, and is on the organising committees of several international events.