Members
Project director
 |
Prof. Mark Harman
King's College London E-mail: mark.harman@kcl.ac.uk Web: www.dcs.kcl.ac.uk/staff/mark |
Mark Harman is the overall project director for SEBASE. He was instrumental in the founding of the field of Search Based Software Engineering (SBSE) and has published widely on SBSE topics since 1999. He regularly gives invited and keynote talks on SBSE and related topics and is involved in the organisation of many international events associated with SBSE. He is the head of the Software Engineering Group at the Department of Computer Science, King's College, London and is also widely known for his work on program slicing, transformation and testing. |
Principal investigators
 |
Prof. John Clark University of York E-mail: jac@cs.york.ac.uk Web: www-users.cs.york.ac.uk/~jac |
John Clark is a principal investigator for SEBASE. He is a Professor of Computer Science at University of York. His work spans a variety of connected subjects. He has maintained long-term interest in the development of critical software and systems. Software engineering (particularly testing) and secure systems engineering have provided two particular foci for him. He has adopted techniques inspired by natural systems to address problems ranging from automated testing of implementations against formal specifications, through automated secure protocol synthesis, the design of cryptographic components, cryptanalysis and most recenetly the use of genetic programming to evolve quantum circuitry. |
Principal investigators
 |
Prof. Xin Yao University of Birmingham E-mail: X.Yao@cs.bham.ac.uk Web: www.cs.bham.ac.uk/~xin |
Xin Yao is a principal investigator for SEBASE. He is a Professor of Computer Science at Birmingham University, where he directs the Centre of Excellence for Research in Computational Intelligence and Applications (CERCIA) and leads the Natural Computation Group. He is involved in the editorial board of several international journals and conferences, and is a regular keynote or plenary speaker in other conferences and overseas universities. His research interests include evolutionary computation, global optimisation, neural networks, data mining, metaheuristics and real world applications. He has contributed to the field with relevant works on the design of new algorithms and the theoretical study of evolutionary computation, resulting in diverse best paper awards. |
Co-investigators
 |
Prof. Rob Hierons Brunel University E-mail: rob.hierons@brunel.ac.uk Web: www.brunel.ac.uk/~csstrmh |
Rob Hierons is a co-investigator for SEBASE. He is a Professor of Computing at Brunel University. He is a Chartered Fellow of the BCS, and a Senior Member of IEEE. His research interests include specification based testing and model based testing, adaptive testing, testing of distributed systems and testing from a state-based specification among other things. |
 |
Dr. Iain Bate University of York E-mail: iain.bate@cs.york.ac.uk Web: www.cs.york.ac.uk/~ijb |
Iain Bate is a co-investigator for SEBASE. He is a lecturer in Real-Time Systems at University of York. He is also an Editor in Chief of the Elsevier Journal, Microprocessors and Microsystems. His main research interests include scheduling and timing analysis(including energy aware systems), novel design and analysis techniques including the use of machine learning and artificial immune systems, and systems engineering including trade-off analysis, architecture issues and optimisation among other things. |
 |
Simon Poulding University of York E-mail: simon.poulding@cs.york.ac.uk Web: http://www-users.cs.york.ac.uk/~smp/ |
Simon Poulding is a lecturer at the University of York. He was previously a commercial software engineer for more than 15 years, specialising in database applications, enterprise management systems, and web-based document management products. Simon's research interests are the scalability of search-based methods for software engineering and the robustness of the solutions they generate. His work also investigates experimental methods and statistical techniques suitable for the empirical analysis of stochastic search algorithms. |
 |
Dr. Kathleen Steinhöfel King's College London E-mail: kathleen.steinhofel@kcl.ac.uk Web: www.dcs.kcl.ac.uk/staff/kathleen |
Kathleen Steinhöfel is a co-investigator for SEBASE. She is a lecturer in Computer Science at King's College London. Her research areas include stochastic algorithms, combinatorial optimisation, job shop scheduling and constraint programming among other things. |
Industrial collaborators
 |
DaimlerChrysler Web: daimlerchrysler.com |
 |
IBM Web: ibm.com |
 |
Motorola Web: motorola.com |
Visiting fellows
 |
Prof. Hans-Paul Schwefel Universitat Dortmund E-mail: hps@uDo.edu Web: www.cs.uni-dortmund.de/people/schwefel |
Hans-Paul Schwefel studied Aero- and Space-Technology at the Technical University of Berlin (TUB). Before and after receiving his engineer diploma in 1965 he worked at the Hermann-Foettinger-Institute of Hydrodynamics, from 1967 to 1970 at the industrial AEG research institute, and from 1971 to 1975 again at the TUB, from where he got his Dr.-Ing. degree in 1975. Coherent during that period at Berlin was the development of a new experimental and later on also numerical optimization method called Evolutionsstrategie. Since 1985 until he was pensioned in 2006 he was holder of a Chair for Systems Analysis at the University of Dortmund, Department of Computer Science. He is member of the editorial boards of the journals Evolutionary Computation (MIT press), IEEE Transactions on Evolutionary Computation, and Natural Computing (Kluwer/Springer), advisory board member of the Springer book series on Natural Computation as well as the World Scientific Publ. Co. book series on Advances in Natural Computation. In 1990 he was co-founder of the international conference series on Parallel Problem Solving from Nature (PPSN), which has been held biennially ever since. |
 |
Prof. Marc Schoenauer INRIA E-mail: marc.schoenauer@inria.fr Web: www.lri.fr/~marc |
Marc Schoenauer is Senior Researcher (Directeur de Recherche) with INRIA, the French National Institute for Research in Computer Science and Control. He graduated at Ecole Normale Supèrieure in Paris, and obtained a PhD in Numerical Analysis at Université Paris 6 in 1980. From 1980 until Aug. 2001 he has been full time researcher with CNRS (the French National Research Center), working at CMAP (the Applied Maths Laboratory) at École Polytechnique. He then became Directeur de Recherche at INRIA and worked in the Projet Fractales, before founding the TAO team in September 2003 together with Michèle Sebag. |
 |
Prof. Darrell Whitley Colorado State University E-mail: whitley@cs.colostate.edu Web: www.cs.colostate.edu/~whitley |
Darrell Whitley is the Chair of the Department of Computer Science at Colorado State University. From 1993 to 1997 Prof. Whitley served as Chair of the Governing Board of the International Society for Genetic Algorithms. In 1999 ISGA merged with the Genetic Programming community to form the International Society for Genetic and Evolutionary Computation. From 1997 to 2002 Prof. Whitley served as Editor-in-Chief for the journal Evolutionary Computation published by MIT Press. His research interests include genetic algorithm, neural networks, heuristic search and nonlinear optimisation applications among other things. |
 |
Dr. Laurence Tratt King's College London E-mail: laurie@tratt.net Web: tratt.net/laurie |
Laurie Tratt is a senior lecturer at University of Bournemouth. He is a member of the IEEE Software Advisory Board. His research interests relate to practical aspects of software engineering, with the aim of facilitating the rapid and reliable development and maintenance of both large and small software systems. |
Academic collaborators
 |
Prof. Gregg Rothermel University of Nebraska E-mail: grother@cse.unl.edu Web: csce.unl.edu/~grother |
Gregg Rothermel is a Professor of Software Engineering in Department of Computer Science and Engineering at University of Nebraska. He is a co-founder of and co-principal investigator with the EUSES Consortium, sponsored by an NSF ITR Award, and he is a principal investigator on an NSF SEL Program award involving the empirical study of testing techniques. His research has also been supported by Microsoft Incorporated, Rogue Wave Software, Incorporated, and Boeing Commercial Airplane Group. |
 |
Prof. Giuliano Antoniol University of Sannio E-mail: antoniol@ieee.org Web: www.scoda.unisannio.it/~antoniol |
Giuliano Antoniol is a Professor at RCOST(Research Centre on Software Technology) in Department of Engineering at University of Sannio. His research interests include search based software engineering, reverse engineering, software quality evaluation and clone detection among other things. |
 |
Dr. Phil McMinn University of Sheffield E-mail: p.mcminn@dcs.shef.ac.uk Web: www.dcs.shef.ac.uk/~phil |
Phil McMinn is a lecturer in Department of Computer Science at University of Sheffield. His research interests include search-based software testing and agent-based modelling. |
 |
Dr. Massimiliano Di Penta University of Sannio E-mail: dipenta@unisannio.it Web: rcost.unisannio.it/rcost_www/mdipenta |
Massimiliano Di Penta is an assistant professor at RCOST(Research Centre on Software Technology) at University of Sannio, Benevento (Italy). He graduated in computer science engineering at the University of Sannio on December 1999. From May 2000 he joined the Software Engineering Research Group as Ph.D. student, under the supervision of Prof. Giuliano Antoniol, and he got the Ph.D. in computer science engineering in July 2003. |
 |
Dr. Paolo Tonella Istituto Trentino di Cultura E-mail: tonella@itc.it Web: sra.itc.it/people/tonella |
Paolo Tonella is a senior researcher at ITC(Instituto Trantino di Cultura). His current research interests include reverse engineering, reengineering, object-oriented programming, web applications, code analysis and transformation, testing and aspect oriented programming. |
 |
Dr. Spiros Mancoridis Drexel University E-mail: spiros@drexel.edu Web: www.cs.drexel.edu/~spiros |
Spiros Mancoridis is an Associate Professor of Computer Science at Drexel University. His research interests include reverse engineering and software maintenance among other things. |
 |
Dr. Afshin Mansouri Brunel University E-mail: afshin.mansouri@brunel.ac.uk Web: www.brunel.ac.uk/about/acad/bbs /bbsstaff/bm_staff/AfshinMansouri |
Afshin Mansouri is a lecturer in Brunel Business School at Brunel University. One of his major research interests is metaheuristic and multi-objective search applied to combinatorial optimization problems. |
Research Associates
 |
Paul Emberson University of York E-mail: paul.emberson@cs.york.ac.uk Web: www-users.cs.york.ac.uk/~embersp |
Paul Emberson is a research associate in the Department of Computer Science at the University of York. He is a member of the Real Time System group. He is currently working on enhancing the flexibiltiy of system archtiectures using heuristic search techniques. His current work concentrates on real-time systems architectures and selecting mappings for allocating software to a distributed hardware platform. |
 |
Dr. Per Kristian Lehre University of Birmingham E-mail: p.k.lehre@cs.bham.ac.uk |
Per Kristian Lehre is a research fellow at the University of Birmingham. He holds PhD and MSc degrees from the Norwegian University of Science and Technology (NTNU). His research interests are in theoretical aspects of evolutionary computation and in particular runtime analysis of evolutionary algorithms. |
 |
Dr. Ramón Sagarna University of Birmingham E-mail: r.sagarna@cs.bham.ac.uk |
Ramon Sagarna is a research associate for SEBASE at Birmingham University. He obtained a PhD degree by the University of the Basque Country (Spain), where he has conducted research on the application of modern metaheuristics for software test data generation. Among others, his research interests involve search based optimisation techniques and, more precisely, Estimation of Distribution Algorithms, as well as probabilistic graphical models and applications of such techniques. |
 |
Dr. William B. Langdon University of York E-mail: william.langdon@kcl.ac.uk Web: http://www.cs.ucl.ac.uk/staff/W.Langdon/ |
Dr. Bill Langdon has joined SEBASE project on 1st November, 2008. 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. |
PhD students
 |
Andrea Arcuri University of Birmingham E-mail: A.Arcuri@cs.bham.ac.uk Web: www.cs.bham.ac.uk/~axa/ |
Andrea Arcuri is a full time PhD student at the University of Birmingham. His research interests are mainly in Search Based Test Data Generation for Object-Oriented Software. He is focusing on studying and exploiting the characteristics of this problem to design better search algorithms to solve it. |
 |
Benjamin J. Woolford-Lim University of Birmingham E-mail: B.J.Woolford-Lim@cs.bham.ac.uk |
BJ is a PhD student at the University of Birmingham, supervised by Prof. Xin Yao. His research interests are in Evolutionary Computation, specifically Multi-Objective Problems and the Evolutionary Algorithms to solve them. |
 |
Kamran Ghani University of York E-mail: kamran@cs.york.ac.uk |
Kamran Ghani is a full time PhD student in the department of Computer Science, University of York. His research area is the application of search based techniques to software testing. |
 |
Chen Hao University of York E-mail: chenhao@cs.york.ac.uk |
Chen Hao is a PhD student in the Department of Computer Science at University of York. His research interests are in the automated design of security protocols. |
 |
David R. White University of York E-mail: david.r.white@cs.york.ac.uk Web: www-users.cs.york.ac.uk/~drw |
David White is a computer science PhD student at University of York. His research is in the area of genetic programming for non-functional criteria. |
 |
Jan Staunton University of York E-mail: jps@cs.york.ac.uk |
Jan is a computer science PhD student at the University of York. His main research interest is applying heuristic search techniques to the verification and validation of concurrent/multithreaded software. |
 |
Shin Yoo King's College London E-mail: shin.yoo@kcl.ac.uk Web: dcs.kcl.ac.uk/pg/yooshi/ |
Shin is a full time PhD student at King's College London. After finishing BSc in Computer Engineering, he worked in the industry for a few years as software engineer and technical consultant. He got an MSc in Advanced Software Engineering at King's College London. His research interests are centered around search-based software engineering, especially in relation to the optimization of regression testing. |
 |
Yuanyuan Zhang King's College London E-mail: yuanyuan.zhang@kcl.ac.uk Web: dcs.kcl.ac.uk/pg/zhangyua |
Yuanyuan Zhang is a Computer Science PhD student at King's College London. Her main research interest is search-based requirement engineering. Her PhD is sponsored by the KC Wong Postgraduate Scholarship Programme. |
 |
Yue Jia King's College London E-mail: yue.jia@kcl.ac.uk Web: dcs.kcl.ac.uk/pg/jiayue/ |
Yue Jia is a full time PhD student in the Department of Computer Science at King's College London, supervised by Prof. Harman and Dr. Gold. He got his MSc degree in Advanced software Engineering at King's College London. His research interests are in higher order mutation testing. In addition to mutation testing, he is also interested in clone detection and source code analysis. His PhD is sponsored by ORS Award Scheme. |
 |
Mustafa Bozkurt King's College London E-mail: mustafa.bozkurt@kcl.ac.uk |
Mustafa Bozkurt is a Computer Science PhD student at King's College London. |
 |
Nadia Alshahwan King's College London E-mail: nadia.alshahwan@kcl.ac.uk |
Nadia Alshahwan is a Computer Science PhD student at King's College London. |
 |
Jaeeun Lee King's College London E-mail: jaeeun.lee@kcl.ac.uk |
Jaeeun Lee is a Computer Science PhD student at King's College London. Her interest is the formal verification of Embedded system development processes. |
 |
Jian Ren King's College London E-mail: jian.ren@kcl.ac.uk |
Jian Ren is a Computer Science PhD student at King's College London. His research interest includes search-based requirement engineering and software project management. |