Cristian Cadar is a Reader at Imperial College London. His research interests include software engineering, computer systems and software security. His research particularly emphasises building practical techniques for improving the reliability and security of software systems. Cristian has published articles on a wide range of topics, including efficient N-version execution frameworks, and frameworks for the analysis of code, test, and coverage evolution in real software.
Alastair Donaldson is a Reader in Programming Languages at the Department of Computing in the Faculty of Engineering at Imperial College London. His research interests include Formal Testing. Alastair has published articles on a wide range of topics, including floating-point symbolic execution, GPU concurrency, dynamic race detection, automated testing of graphics shader compilers, and termination analysis for GPU Kernels.
Christophe Gaston is a member of the French Alternative Energies and Atomic Energy Commission. His research interests include formal testing. He has published articles on a wide range of topics including constraint-based oracles for time distributed systems, symbolic execution of transition systems with function summaries, and timed-model-based methods for security analysis and the testing of smart grid systems.
John Clark is a Professor of Computer and Information Security at the University of Sheffield. His research interests include cybersecurity and software engineering, most notably the use of Artificial Intelligence in these areas, automated discovery of classical cryptanalytic strategies, intrusion detection, the search for quantum approaches to cryptanalysis via evolutionary computation, and the security of robotic and autonomous systems and in the security of advanced manufacturing systems.
Jan Peleska is a Professor at Bremen University. His research interests include formal methods for cyber physical systems with special emphasis on test automation. He has published articles on a wide range of topics, including complete model-based equivalence class testing for nondeterministic systems, formal modelling and verification of interlocking systems featuring sequential release, and effective infinite-state model checking by input equivalence class partitioning.
Alex Pretschner is a Professor at the Technical University of Munich. His research interests include Model-Based Testing, Automatic Test Case Generation, Security of Distributed Data and Systems, Systems & Software Engineering, Usage Control, Privacy, and Model-Based Development.
Paolo Tonella is Head of Software Engineering and Professor at Fondazione Bruno Kessler, Trento, Italy and he is an Honorary Professor at University College London. His research interests include security testing. Paolo has published articles on a wide range of topics, including automated test case generation as a multi-objective optimisation problem with dynamic selection of targets, search-based path and input data generation for web application testing, and automatic page object generators for web testing.
David Clark is a Reader in Program Analysis at University College London. His research interests include Software testing, Application of Information Theory to software analysis, Program flow security, Slicing programs and software models, Malware detection and classification. David has published articles on a wide range of topics, including disrupting android malware triage by forcing misclassification, quantifying the diversity of sets of test cases, and test oracle assessment and improvement.
[Final confirmation pending]