Teaching

As lecturer at JKU University I am actively involved in teaching various courses offered by the institute of system software (SSW). Below you can find a non-exhaustive list of all the courses I taught.

Courses

• Winter Term 2020 Übersetzerbau Übung (Compiler Construction Exercise)
• Winter Term 2020 Dynamic Compilation and Run-time Optimization in Virtual Machines
• Winter Term 2019 Übersetzerbau Übung (Compiler Construction Exercise)
• Summer Term 2019 Praktikum aus Softwareentwicklung 2
• Summer Term 2019 Dynamic Compilation and Run-time Optimization in Virtual Machines
• Winter Term 2018 Übersetzerbau Übung (Compiler Construction Exercise)
• Summer Term 2018 Praktische Informatik 2 Übung (Mechatronik)
• Summer Term 2018 Praktikum aus Softwareentwicklung 2
• Summer Term 2018 Dynamic Compilation and Run-time Optimization in Virtual Machines
• Winter Term 2017 Übersetzerbau Übung (Compiler Construction Exercise
• Summer Term 2018 Praktische Informatik 2 Übung (Mechatronik)

External Teaching

Lviv Polytechnical University in collaboration with Oracle Labs Lviv

• Summer Practice 2019: Programming Languages Implementations, compilers and virtual machines

Lviv Technical University in collaboration with Oracle Labs Lviv

• Blocked course 2020: Ukrainian Catholic University, Applied Sciences faculty

Advised Thesis

Additionally, I serve as a (co) advisor for several thesis conducted at the SSW institute. If you are interested in any of these or future possible theses please drop me a mail.

BS Thesis

• Truffle CUDA (Finished)
• Graal Collections (Finished)
• SW Complexity Metrics Agent (Finished)

MS Thesis

• Truffle CIL (Finished)
• Graal SymJEx (Finished)
• Symbolic Execution for Compiler Optimizations (Finished)

---