Delphine Longuet

Assistant professor
(currently in leave at Thales Research & Technology)
University Paris-Sud
LRI, VALS group

PCRI, bureau 63
Rue Noetzlin
91190 Gif-sur-Yvette

Mailing address
Bâtiment 650
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

Research activities

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:
  • Testing functional aspects of systems, where the expected behaviour of the system is specified in a first-order formalism.
  • Testing reactive aspects of systems, where the formalisms used for specification may be either modal logics or transition systems.
  • Testing concurrent aspects of distributed systems, whose behaviour is specified with Message Sequence Charts or Petri nets for instance.



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.

Previous teaching


Since Sept. 2018 Formal methods research engineer at Thales Research & Technology
Since Sept. 2009 Assistant professor at LRI, Université Paris-Sud 11
Sept. 2008 - Aug. 2009 Post-doc at LSV, ENS Cachan
Nov. 2007 - Jul. 2008 Post-doc (ERCIM fellowship) at CWI, Amsterdam, The Netherlands
Sept. 2004 - Oct. 2007 PhD student at IBISC laboratory, Université Évry-Val d'Essonne
PhD thesis defended on October 12, 2007
Title : « Test à partir de spécifications axiomatiques »
(Testing from axiomatic specifications)
Supervisor : Marc Aiguier