Research thematics : Specification and verification of critical software
- PLTL (Propositional Linear Temporal Logic) property verification
- Combining proof and model-checking
- Tests Generation for security policies
- B Method and refinement
- Timed automata, timed logic MITL and refinement
Publications
Professor in Université de Franche-Comté
- 2008 - ....: Research vice head of UFR-ST
- 2008-2011: Person in charge of PPF MIDi (Distributed Intelligent Microsystems)
- 1996 - 2007 : Manager of LIFC
- program committee member of ABZ, ZB, B, MSR and AFADL
- chair man of AFADL 2004, B'2007
- 1994 -1998 : Person in charge of DESS Software engineering, distributed systems and parallelism
- 1988 - 1992 : Person in charge of licence and maîtrsie of computer science
- 1985 - 1993 : Teatcher/ researcher in UFC
- 1992 : HDR in Nancy 1 University
- 1982 - 1985 : Teatcher/ researcher in IUT de Belfort
- 1981 : PhD thesis
- 1978 : DEA of Nancy 1 University
- 1972-1977 : Engineer of INSA Lyon
