Bernhard Aichernig

Bernhard K. Aichernig is a tenured associate professor (ao. Univ.-Prof.) at Graz University of Technology, Austria. He and his research group investigates the foundations of software engineering for realising dependable computer-based systems. Bernhard is an expert in formal methods and testing. His research covers a variety of areas combining falsification, verification and abstraction techniques. Current topics include the Internet of Things, model learning, and statistical model checking. Since 2006, he participated in four European projects. From 2004-2016 Bernhard served as a board member of Formal Methods Europe, the association that organises the Formal Methods symposia. From 2002 to 2006 he had a faculty position at the United Nations University in Macao S.A.R., China. Bernhard holds a habilitation in Practical Computer Science and Formal Methods, a doctorate, and a diploma engineer degree from Graz University of Technology.

John Hughes

John Hughes is a professor at the Computing Science Department at Chalmers University of Technology, and a member of the Functional Programming Group. He is also CEO at Quviq AB, which offers a commercial version of QuickCheck, where he spend half of his time.

Shiva Nejati

Shiva Nejati is an associate professor at the School of Electrical Engineering and Computer ScienceUniversity of Ottawa. Prior to coming to Ottawa, she was a senior scientist (2012 – 2019) at the SnT CenterUniversity of Luxembourg and a scientist (2009 – 2012) at the Simula Research Laboratory. She received her M.Sc. and Ph.D. from the University of Toronto in 2003 and 2008, respectively.

Justyna Petke

Justyna Petke is a Principal Research Fellow and a Proleptic Associate Professor at the Centre for Research on Evolution, Search and Testing (CREST), located in the Department of Computer Science, University College London. She is a member of the SOLAR group. Her current research focuses on Genetic Improvement. She also has expertise in Combinatorial Interaction Testing, Constraint Satisfaction and Search-Based Software Engineering.

She serves on the Editorial Board for the Empirical Software Engineering, Genetic Programming and Evolvable Machines, Automated Software Enigineering and Engineering Applications of Artificial Intelligence journals. She is also a Fellow of the Higher Education Academy.

She hold an EPSRC Early Career Fellowship on Automated Software Specialisation Using Genetic Improvement (more details can be found on the EPSRC website).

Manuel Rigger

Manuel Rigger is an Assistant Professor leading the TEST Lab, which is part of the PL/SE group at the School of Computing, National University of Singapore. He is working on software reliability, data-centric systems, and programming language implementation. In his recent work, he has been focusing on automatically testing Database Management Systems, part of which he found over 450 bugs in widely-used systems such as SQLite, MySQL, PostgreSQL, MariaDB, and CockroachDB. Prior to joining NUS, Manuel was a postdoc at the Advanced Software Technologies Lab at ETH Zurich, mentored by Zhendong Su. He completed his PhD at Johannes Kepler University Linz, mentored by Hanspeter Mössenböck, where he worked on the safe and efficient execution of unsafe languages (project Sulong). Part of his work was integrated into Oracle’s GraalVM to support the execution of LLVM IR on this platform.

Andreas Zeller

Andreas Zeller is faculty at the CISPA Helmholtz Center for Information Security and professor for Software Engineering at Saarland University, both in Saarbrücken, Germany. His research on automated debugging, mining software archives, specification mining, and security testing has proven highly influential. Zeller is an ACM Fellow and holds an ACM SIGSOFT Outstanding Research Award.