Yannick Zakowski
A pdf version can be obtained here.
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 .
The subject was "Programming With Information Flow-Control: the Paragon language"}.
(A report is available, in english, here.)
The subject was "Fast inference of polynomial invariants for imperative programs".
(A report is available, but only in French, here.)
At the same time bachelor of Computer Science (University of Rennes 1) and bachelor of Mathematics (University of Rennes 1).
- 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
Personal details
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.