Address
LIP6, Université Pierre et Marie Curie & CNRS
4 place Jussieu
75005 Paris




Office
Building 25/26, room 216


Phone
+33 (0) 1 44 27 41 82


Email
nathalie.sznajder (at) lip6.fr

Research

 

I am mainly interested in formal methods for verification, control and synthesis of distributed and/or timed systems.
I did my PhD at LSV, ENS Cachan, under the supervision of Paul Gastin, before doing a postdoc with Jean-Francois Raskin in the Verification group at Free University of Brussels.

Teaching (french)

 

Je donne les cours suivants :

  • Structures discrètes (LI214)
  • 1 séance en Modélisation et représentation des connaissances (M1 IAD).