A pdf version can be obtained
here.
Personal details
- ZAKOWSKI Yannick
- Nationality : French, born in Dijon, March 19 1990
- Address : 14, rue du Louis d'Or, 35000 Rennes, France
- E-Mail: yannick.zakowski@irisa.fr
Education
Since 2014
PhD student in the
Celtique team under the supervision of
David Cachera and
David Pichardie . We are overall notably interested in the formalization in the Coq proof assistant of realistic compilers for realistic languages. My current primary line of work is more specifically concerned with the proof of concurrent linearizable objects, and in particular through the use of rely/guarantee Hoare-style logics.
2010 - 2014
2013/2014
One year internship at the Aarhus University, in the Logics and Semantics group, under the supervision of
Lars Birkedal and
Filip Sieczkowski . I notably worked with Filip to build semantic models and formalize their correctness in Coq using his recently designed library for solving recursive domain equations. This line of work notably led to the ModuRes tutorial. Two reports can be found respectively
here and
there .
2012/2013
Student in third year of the Computer Science and Telecommunications Department at the
Ecole Normale Superieure de Cachan - Brittany extension, and in second year of the research in computer science
master at the University of Rennes 1.
5-month internship in the project-team
Celtique, INRIA / ENS / CNRS Rennes- Bretagne Atlantique.
The subject is "Generation of polynomial inequalities as invariants".
The preliminary bibliography is available
here . The main report can be found
there .
Summer 2012
3-month internship in the
computer security department of the Chalmers University.
The subject was "Programming With Information Flow-Control: the Paragon language"}.
(A report is available, in english,
here.)
2011/2012
Student in second year of the Computer Science and
Telecommunications Department at the Ecole Normale Superieure de Cachan -
Brittany extension, and in first year of the computer science master at the University
of Rennes 1.
Summer 2011
2-month internship in the project-team
Celtique , INRIA / ENS / CNRS
Rennes- Bretagne Atlantique.
The subject was "Fast inference of polynomial invariants for imperative programs".
(A report is available, but only in French,
here.)
2010/2011
Student in first year of Computer Science and Telecommunications at the Ecole Normale Superieure de Cachan, Brittany extension.
At the same time bachelor of Computer Science (University of Rennes 1) and bachelor of Mathematics (University of Rennes 1).
2007-2010
CPGE
("Classes preparatoires aux grandes ecoles" the Classes Preparatoires
are a two- or three-year curriculum, training undergraduate students for
enrollment in one of the French Grandes Ecoles) Lycee Fabert, Metz :
- First year : MPSI Mathematics, Physics, Engineering science and
Computer Science.
- Second year : MP Mathematics, Physics and Computer Science.
- Third year : MP Mathematics, Physics and Computer Science.
2006-2007
Lycee Fabert, Metz :
- Baccalaureate S (Science), specialization : Mathematics - with
greatest honors.
Additional Informations
- Spoken languages : French (mother tongue), English (fluent, TOEIC
score 980/990), Spanish (low level).
- Programing languages: Coq, Caml, Haskell, Java, Python, Latex.
- Driving licence.