Current position
Postdoctorate in Méthodes Formelles team at the laboratoire Bordelais de Recherche en Informatique.
Research interests
- Model checking
- parameterized verification
- infinite state systems
- probabilistic systems
- game theory
Contact informations
- Mail: paulin.fournier@gmail.com
- Address:
Uppsala University
Dept. Information Technology
Box 337
751 05 Uppsala-Sweden