Nicolas Markey

Full-time researcher at CNRS

Head of group VASCO

Research activites

My main research track is on the development of formal methods for the verification and synthesis of computerized systems. More precisely, I focus on model checking (a complementary technique to testing), which aims at automatically and exhaustively verifying that a computerized systems does not exhibit unexpected behaviours. I also work on complex-system synthesis (that are correct by construction), using an analogy with game theory. My work aims at developing model-checking and synthesis algorithms, proving their correctness and evaluating their complexity.

Teaching activites

Miscellanea

About LSV

Contact

Nicolas Markey
Address
LSV, ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-113 (bâtiment d'Alembert)
Phone
(+33) 1 47 40 75 37
E-Mail
markey@lsv.fr
If you feel afraid by my spam filter (you should, especially if your address is @hotmail.com), you can bypass it by adding the current date in the subject line. For instance:

Subject: [2005/12/02] A very important subject
 spam

Projects

ERC EQualIs
ERC EQualIs
FP7-ICT Cassting
FP7-ICT Cassting
ANR Blanc ImpRo
ESF-LogICCC GASICS
ESF-LogICCC GASICS
FP7-ICT QUASIMODO
FP7-ICT QUASIMODO

Conferences

MOVEP'16
FORMATS'16
QEST'16
CONCUR'16
RP'16