Bio
Hélène Waeselynck is a CNRS senior Research
Scientist (Directrice de Recherche). She is the Head of the Dependable Computing
and Fault-Tolerance research group at LAAS-CNRS. She currently serves on the board of Section 06 (computer Science) of the National Committee for Scientific Research (CoNRS) in France.
She received the Engineer degree from the National
Institute of Applied
Sciences of Toulouse, in
1989,
and the PhD in computer science from the National Polytechnic Institute
of Toulouse,
in January 1993. Her doctoral thesis was focused on the statistical
testing of safety-critical software.
Then she spent six months as a guest researcher at the Corporate
Research
and Development of Siemens AG, Munich, Germany, working on the
simulation of software development processes.
From 1994 to 1995, Dr. Waeselynck was with the French National
Institute for Transport and Safety Research (INRETS), working on the
validation
and certification of railway systems. In 1996, she joined the
Dependable Computing
and Fault-Tolerance research group at LAAS-CNRS.
Her research interests concern software validation,
with an emphasis on
dependable computing systems. She has addressed a wide range of issues,
ranging from fundamental test design issues (test selection criteria,
test generation procedures, oracle problem, coupling of testing and
formal verification) to more practical ones (test implementation
languages). She strongly supports experimentation as a scientific
approach to research. Her work has benefited from tight collaborations
with Industry, giving her access to safety-critical software from
aeronautical and space systems, railway systems and nuclear systems.
Her recent research addresses testing and safety monitoring of
autonomous systems, including intelligent cars and advanced robots.
This page is maintained
|