Resume

February 2009 - June 2009: Master's Thesis in NetOS team (ETH-Zurich)
Supervised by Timothy Roscoe
Subject : "Language Support for Reliable Operating Systems"
2008 - 2009: Master 2 - Computer Science
ENS Cachan-Bretagne - University of Rennes 1
Options: "Software Verification" and "Networks"
June 2008 - August 2008: Internship in NSL team (EPFL)
Supervised by Dejan Kostic and Viktor Kuncak
Subject: "Opis: Reliable Distributed Systems in OCaml"
2007-2008: Master 1 - Computer Science
Erasmus exchange at Ecole Polytechnique Fédérale de Lausanne
Option: "Foundation of Software"
May 2007 - August 2007: Intership in ASAP team (INRIA)
Supervised by Marin Bertier and Anne-Marie Kermarrec
Subject: "Leveraging efficiently multi-overlay networks"
2006-2007: First year at ENS Cachan - Brittany extension
Computer Science and Telecommunication Department
2004-2006: "Classes préparatoires" MPSI - MP* (Computer Science option)
Henri Poincaré high school (Nancy, France)
Passed through the Ecole Normale Supérieure de Cachan, Brittany extension exam
2004: Scientific Baccalauréat, passed with A ("Très Bien")
François Ier high school (Vitry-le-François, France)

Operating Systems :: Barrelfish, FreeBSD, OpenBSD, GNU/Linux
Languages :: OCaml, Haskell, C, Scheme, Scala, Python, Perl, (my)SQL, C++, Java, ...
Softwares :: Emacs, Coq, Isabelle, Spin

Pierre-Evariste Dagand, Dejan Kostic, Viktor Kuncak
Opis: reliable distributed systems in OCaml
TLDI'09
Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania
The Multikernel: A New OS Architecture for Scalable Multicore Systems
SOSP'09
Andrew Baumann, Pierre-Evariste Dagand, Timothy Roscoe
Filet-o-Fish: practical and dependable domain-specific languages
PLOS'09