### Teaching Activities of Danko Ilik

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

#### PhD Students

- Wendlasida Ouedraogo
- Wendlasida is doing research in formal methods (semantics of programming languages and formal
proof), on the topic of
provably correct optimizations for souce-code-to-source-code translations. He is co-advised with
Lutz Strassburger at Ecole Polytechnique.
- Wendlasida Ouedraogo's page

#### Graduate Courses

- 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

#### Undergraduate Courses

- 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.

Back to home page
| Publications
| Formal Proofs and Software
| CV
| Contact