Danko Ilik - Teaching

I used to teach computer science and mathematics, but nowadays I do research and development.

Wendlasida Ouedraogo: PhD thesis Optimization of source code for safety-critical systems defended in 2023, co-advised with Lutz Strassburger at the Ecole Polytechnique.

David Hamelin: 2023 MPRI master student, now doing research on floating point computation at Inria.

Vladislas de Haldat: 2024 MPRI master student, now working on automated reasoning at EPFL.

Proofs-as-programs correspondence, recent developments and type isomorphisms (5 ECTS): This mini-course for doctoral and master students at Aarhus University had as goal to teach some of the latest developments around the Curry-Howard correspondence, as well as formalization of proofs (in Agda).; index.zip of course web page

Mathematics 1 (6 ECTS): This course for first-year students at University Goce Delčev had as goal to teach the bases of analysis, up to approximation with Taylor series. In addition, elements of analytic geometry and linear algebra were covered.
Compilers (6 ECTS): This course for third-year students at University Goce Delčev covered the theory and practice of compiler construction, from parsing and automata to emitting code, i.e. the first half of Appel's excellent Modern Compiler Implementation in C.
Software Quality Standards (4 ECTS): This course for fourth-year students at University Goce Delčev first introduced standards for functional safety, such as the EAL levels. Then, the theory and practice of version control systems (Git) were covered, as well as basic programming in Erlang.