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

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.