Talk by Arnaud Gotlieb, SIMULA Research Laboratory, Oslo

Arnaud leads the Certus Centre for Software Verification & Validation and heads the Software Engineering department of SIMULA Research Laboratory, Oslo, which hosts Certus.  The main scientific themes of the department are variability testing of software-intensive systems, software certification and model-based development and testing. Its application areas include the validation and verification of cyber-physical systems, data-intensive systems, and safety-critical software systems.

In his talk, Arnaud will give a presentation of Certus, with a few words on Simula and the various partners of the center. The presentation will describe in detail two examples of innovations realized in the center, both of which make use of SICStus Prolog and constraint programming.

Short bio:

From 1995 to 2002, Arnaud 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 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 was a research scientist at INRIA Rennes on automatic test data generation, constraint-based testing and software testing, and earned his Habilitation à Diriger des Recherches.  In 2011, he joined Simula Research Laboratory in Norway, soon took over as head of its Software Engineering department, and was appointed leader of the Certus Centre. Since then, he has been leading a group of 20 researchers working in the area of software validation and verification. He is the main author of more than forty publications and co-author of more than seventy, and is the main architect of several constraint-based testing tools for the testing of C and Java programs.

Tuesday, October 7, 2014, 13:00
SICS Swedish ICT, room KNuth
Isafjordsgatan 22
Mats Carlsson