Paulin Fournier

Postdoctoral fellow

Paulin Fournier

Professional experience

Research

2016-2017

Post-doc

Méthodes Formelles team at the laboratoire Bordelais de Recherche en Informatique. Supervisor : Hugo Gimbert
Satisfiability of PCTL*

2016

Post-doc

Parosh Aziz Abdulla team at the Department of Information Technology, Uppsala University, Uppsala, Sweden.
Probabilistic register automata

2012-2015

PhD

Team SuMo, INRIA Rennes , Supervisors : Nathalie Bertrand, Thierry Jéron.
Parameterized verification of probabilistic systems

2012

5-month intership

Computer Science Department, Liverpool University, England, Supervisor : Nathalie Bertrand.
Parametrized verification of protocols on wireless sensor networks

2011

3-month intership

Department of Information Technology, Uppsala University, Uppsala, Sweden, Supervisors : Parosh Aziz Abdulla and Mohamed Faouzi Atig.
Timed asynchronous programs

2010

2-month intership

Project-team Distribcom, INRIA / ENS / CNRS Rennes-Bretagne Atlantique, Supervisor : Claude Jard.
Abstraction in Petri nets and treatment of invisible loops during unfolding

Teaching

See all information here.

Scholar background

2011-2012

Third year of the Computer Science and Telecommunications magister

Ecole Normale Superieure de Cachan - Brittany extension, France.
Second (last) year of the research in computer science master specialism (MRI) in the University of Rennes 1. (rank: 3/45)

2010-2011

Second year of the Computer Science and Telecommunications magister

Ecole Normale Superieure de Cachan - Brittany extension, France.
First year of the computer science master in the University of Rennes 1. (rank : 12/54)

2009-2010

First year of the Computer Science and Telecommunications magister

Ecole Normale Superieure de Cachan - Brittany extension, France.
Bachelor of Computer Science (University of Rennes 1)

2008-2009

"Classes preparatoires aux grandes ecoles"

Lycee Joffre, Montpellier, France.

Event organization

2015

9th Festival Science en cour[t]s, Rennes, France. Link

2014

8th Festival Science en cour[t]s, Rennes, France. Link

2013

MSR’13, Rennes, France.

Skills

Languages
  • French: native
  • English: fluent
Computer skills
  • OS: Linux/Unix, Windows
  • Programming: Caml, C/C++, Java
  • Mathematics softwares: MATLAB, Maple

Other interests

Sport

Badminton, sailing, Squash, bike, climbing (level 6b, French scale), aïkido, ...

Others

Reading, movies, theather, ...

Gite

Familly rental houses