Nicolas Markey

Full-time researcher at CNRS

My list of publications and some recent talks
My CV [last updated: 09/02/2012]
I defended my habilitation thesis on 8 April 2011

GASICS'12 Workshop

I am a co-organizer of the GASICS'12 workshop, co-located with CONCUR'12, which will be held in Newcastle on 3rd September 2012.

Research activites

Linear-time temporal logic with past is more concise
TPTL is strictly more expressive than MTL
TSMV: symbolic model-checking for discrete-time Kripke structures
Some interesting open questions
My bib file

Teaching activites

Timed and Hybrid automata, MPRI course, fall 2010
Real-time Model Checking, QMC'10
Weighted automata, MPRI course, fall 2008
Timed Systems, MOVEP'08
Temporal Logics, MPRI course, fall 2006
Expressiveness of Temporal Logics, ESSLLI'06

Miscellanea

Contact

Address

LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France

Office

Bât. Iris

Phone

(+33) 1 47 40 75 37

E-Mail

markey@lsv.ens-cachan.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