Bio
Bio
Short 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

Although not based on SPIP, this page is inspired from the BeeSpip Skeleton LAAS     |     Dependable Computing and Fault Tolerance Group