Professional experience
Research
2016-2017 |
Post-doc Méthodes Formelles team at the laboratoire Bordelais de Recherche en Informatique. Supervisor : Hugo Gimbert
|
2016 |
Post-doc Parosh Aziz Abdulla team at the Department of Information Technology, Uppsala University, Uppsala, Sweden.
|
2012-2015 |
PhD Team SuMo, INRIA Rennes , Supervisors : Nathalie Bertrand, Thierry Jéron.
|
2012 |
5-month intership Computer Science Department, Liverpool University, England, Supervisor : Nathalie Bertrand.
|
2011 |
3-month intership Department of Information Technology, Uppsala University, Uppsala, Sweden, Supervisors : Parosh Aziz Abdulla and Mohamed Faouzi Atig.
|
2010 |
2-month intership Project-team Distribcom, INRIA / ENS / CNRS Rennes-Bretagne Atlantique, Supervisor : Claude Jard.
|
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.
|
2010-2011 |
Second year of the Computer Science and Telecommunications magister Ecole Normale Superieure de Cachan - Brittany extension, France.
|
2009-2010 |
First year of the Computer Science and Telecommunications magister Ecole Normale Superieure de Cachan - Brittany extension, France.
|
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 |
|
Computer skills |
|
Other interests
Sport |
Badminton, sailing, Squash, bike, climbing (level 6b, French scale), aïkido, ... |
Others |
Reading, movies, theather, ... |
Gite |