From 1995 to 2002, Arnaud Gotlieb has worked at THALES Airborne Systems (previously known as DASSAULT Electronics) where he was successively PhD student, software engineer and project manager in the field of software testing. In Jan. 2000, he completed his PhD on automatic test data generation using constraint logic programming techniques at the University of Nice-Sophia Antipolis. From 2002 to 2011, he has worked at INRIA Rennes as a research scientist on automatic test data generation, constraint-based testing and software testing (http://people.rennes.inria.fr/Arnaud.Gotlieb/). He is the main author of more than thirty publications and co-author of more than sixty, and he is the main architect of several constraint-based testing tools for the testing of C and Java programs. He participated to several projects including the RNTL INKA (2000-2002), CAT (2005-2009), U3CAT (2010-2012) and V3F (2003-2006) on floating-point computations. He is the scientific coordinator of the ANR CAVERN project (2008-2011) that explores the capabilities of constraint programming for program verification. From 2008 to 2010, he served as a program committee member of the three first editions of the International Conference on Software Testing, Validation and Verification (ICST), and he co-chairs the workshop chair of ICST’12. He also created the Constraints in Software Testing, Verification and Analysis (CSTVA) workshop and was its main organizer during its three first editions in 2006, 2010 and 2011.

  In Oct. 2011, he joined SIMULA RESEARCH LAB in Lysaker, Norway as a senior research scientist. In Jan. 2012, he became department head and leader of the Certus Validation&Verification SFI (Centre for Research-based Innovation), which is a 8-year large initiative funded by the Norwegian Research Council

to promote innovation by supporting long-term research through close cooperation between R&D intensive companies and a prominent research institution.