Danko Ilik / Danko Ilić / Данко Илиќ

This web page is about my research in Mathematical Logic and Computer Science on using perls from the theory of programming languages (continuations, partial evaluation, type isomorphisms) in order to interpret logical principles such as the axiom of choice or completeness theorems; I have also done quite a bit of formal proof development using proof assistants such as Coq.

I work at Siemens Mobility on verification of software for driverless trains. Previously, I was a formal methods expert at Trusted Labs where I was involved in Common Criteria evaluations. The preceding 9 years, I was doing research and teaching -- I still try to keep up with academic research.

Publications | Formal Proofs and Software | Teaching | CV | Contact

Latest News RSS