|french|| Delphine Longuet
(currently in leave at Thales Research & Technology)
LRI, VALS group
PCRI, bureau 63
Université Paris-Sud 11
91405 Orsay Cedex, France
Phone +33 (0)1 69 15 65 42
e-mail delphine [dot] longuet [at] lri [dot] fr
Since september 2018, I am in leave at Thales Research & Technology, in the LSEC laboratory (Laboratory for Critical Embedded Systems). I work on the transfer of formal methods techniques and tools to industrial processes.
Besides, my research work is dedicated to the development of formal methods for validation and verification of software systems. More precisely, I am interested in software testing approaches based on verification techniques, like proof or model-checking.
My work follows three main directions:
No teaching activities in 2018-2019.
Videos of my UML course (in french)
Recorded for a flipped classroom experiment in 3rd year of engineer school Polytech Paris-Sud.