Tase 2017INRIA - Campus SophiaTechAntibes' City WallsBaie des Anges
TASE 2017 Sophia Antipolis, France
Nice's harbour
TASE 2017 Sophia Antipolis, France
The main INRIA's Campus in Sophia Antipolis
TASE 2017 Sophia Antipolis, France
15 minutes by car from Sophia Antipolis
TASE 2017 Sophia Antipolis, France
La baie des Anges

Invited speakers

Jean-Louis Colaço

ANSYS
jlco.jpeg
 
Jean-Louis Colaço is R&D Principal Engineer at ANSYS and works on SCADE Core technologies (language, compiler and other semantic based tools). He received his Engineering and Master degree in 1994 and  his Ph.D. in Computer Science from the National Polytechnic Institute of Toulouse in 1997. He started working on Scade language and compilation in 1999 and his one of the main designers of Scade 6 language with Bruno Pagano and Marc Pouzet with the collaboration of Gérard Berry. From 2007 to 2008 he worked in the innovation group at Siemens-VDO as a project manager in the powertrain department. From 2008 to 2013 he was at Prover-Technology working on certified formal verification doing both tool development and consulting on application of model checking to railways systems.

Marie-Claude Gaudel

LRI, France
inria-cdr0037-6243_1.jpg
Marie-Claude Gaudel is an Emeritus Professor at the University of Paris-Sud at Orsay since 2007.
She was appointed as a professor at this university in 1984. Before joining UPS, she was a researcher at INRIA from 1973 to 1981, and then in charge of the Software Engineering group at the industrial research centre of Alcatel-Alsthom (Marcoussis, France) from September 1981 to January 84.
Her most recognised research achievements are in the area of software testing based on formal specifications, but she has also contributed to other challenging issues such as random software testing and approximate model-checking.
She got the CNRS Silver Medal in 1996 for her work on software testing. She is a Doctor Honoris Causa of EPFL (Lausanne, Switzerland), and of the University of York (UK) where she is an Honorary Visiting Professor since 2015.  She currently holds a Pesquisador Visitante Especial grant of the Ciência sem Fronteiras program with the ICMC centre of the University of São Paulo at São Carlos (Brazil).
In 2011, she has been awarded Chevalier de la Légion d’Honneur. 

Patrice Godefroid

Microsoft Research, USA

large_patrice-sf-2016.jpg

Patrice Godefroid is a Principal Researcher at Microsoft Research. He received a B.S. degree in Electrical Engineering (Computer Science elective) and a Ph.D. degree in Computer Science from the University of Liege, Belgium, in 1989 and 1994 respectively. From 1994 to 2006, he worked at AT&T/Lucent Bell Laboratories, where he was promoted to “distinguished member of technical staff” in 2001. His research interests include program specification, analysis, testing and verification. Patrice is probably best known for his early work on partial-order reduction for model checking concurrent systems (his PhD thesis is published as LNCS volume 1032 by Springer), for his work on VeriSoft, the first software model checker for mainstream programming languages such as C and C++, for his work on 3-valued model checking with may/must abstractions for sound program verification and falsification, and for his work on automatic test generation with DART. More recently, he co-developed SAGE, the first whitebox fuzzer for security testing, which was credited to have found roughly one third of all the security vulnerabilities discovered by file fuzzing during the development of Microsoft’s Windows 7. In 2015, he co-founded Project Springfield, the first commercial cloud fuzzing service.