Short CV of Danko Ilik
Industrial Positions
Academic Positions
- 12/2013-08/2016 - Researcher (non-tenured) at Inria, Saclay,
Ile-de-France
- 02/2012-12/2013 - Research fellow on Kurt Gödel Research
Prize Fellowship of Kurt Gödel Society, Vienna, Austria
- 01/2011-02/2012 - Assistant professor at University Goce
Delčev, Štip, Macedonia
Education
- 2010 - PhD in Computer Science - Ecole Polytechnique,
France
- 2007 - Masterclass in Logic - Mathematical institute,
Utrecht University, The Netherlands
- 2006 - MSc in Dependable Computer Systems - Chalmers
University of Technology, Gothenburg, Sweden
- 2004 - BSc in Computer Science - University Ss. Cyril
and Methodius University, Skopje, Macedonia
Fellowships and Awards
- 2011 - Kurt Gödel Research Prize Fellowship (doctoral
category) - award received from Kurt Gödel Society, Vienna,
Austria - a gold medal and a personal prize for research in
Mathematical Logic, attributed by an international jury
- 2007-2010 - Fellowship for PhD studies - Allocation
internationale de thèse Gaspard Monge, École Polytechnique,
France - only one fellowship per discipline per year awarded
in an open competition (national and international)
- 2006-2007 - Scholarship for Masterclass in Logic,
WONDER (the Dutch Research School in Mathematics)
- 2004-2006 - Scholarship for MSc studies, The Swedish
Institute
Back to home page
| Publications
| Formal Proofs and Software
| Teaching
| Contact