I am currently studying computer science at Ecole Normale Supérieure de Cachan (Brittany Extension), a prestigious public institution of higher education and research. I have a double status: I am both student, registered in Rennes 1 University, and normalien, i.e., member of the ENS and trainee civil servant.
| 2011- | Phd student in Triskell team, IRISA, Rennes, France. |
| 2009-2011 | Master degree student in Computer Science at University of Rennes 1, Rennes, France. |
| 2008-2011 | Magistère in Computer Science and Telecommunication at ENS Cachan - Brittany extension, Rennes, France. |
| 2009 | Bachelor of Science in Computer Science, with honors, rank 6th amongst 106 students, University of Rennes 1, France. |
| 2009 | TOEIC (Test of English for International Communication), score : 955/990. |
| 2006-2008 | Preparatory classes for French Grandes Ecoles, mathematics, computer science, physics, Lycée Albert Schweitzer (Mulhouse) |
| 2006 | Baccalauréat général scientifique (French high school diploma), with honors, speciality in mathematics. |
| July-August 2011 | Research internship in Palab team, King's College London. Formal specification of modular transformation. Supervisors: Steffen Zschaler and Jeffrey Terrell. |
|
| February-June 2011 | Research internship in Triskell team, IRISA/INRIA, Rennes. Formal and tool-supported framework for model composition. Supervisors: Benoît Baudry and Benoît Combemale. |
[en]2011 internship report [en]2011 internship defence |
| May-july 2009 | Research internship in Distribcom team, IRISA/INRIA, Rennes. Complex systems modelisation using timed automata. Supervisors: Claude Jard and Bartosz Grabiec. |
[fr]2009 internship report [fr]2009 internship defence |
E-mail : jonathan.yves.marchand@irisa.fr
Telephone : +33 (0)658101969
|
|
|