Yannick Zakowski

Welcome on my website.

I am currently a first year PhD student in the Celtique team. My supervisors are David Cachera and David Pichardie . My current primary line of work is concerned with proof of concurrent linearizable objects, and in particular through the use of rely/guarantee Hoare-style logics. We formalize our works in the Coq proof assistant.

I previously studied at the ENS Rennes, a prestigious french public institution of higher education and research, which notably led me to perform various internships both in France and abroad. You can find on this website my curriculum vitae (here on pdf) and a description of my studies.