Teaching &
supervision

Teaching history, 2017–2020

• Compiler Construction exercises

  Johannes Kepler University Linz

  • Winter term 2020
    • Course page
  • Winter term 2019
    • Course page
  • Winter term 2018
    • Course page
  • Winter term 2017
    • Course page

• Dynamic Compilation and Runtime Optimization in Virtual Machines

  Johannes Kepler University Linz

  • Winter term 2020
    • Course page
  • Summer term 2019
    • Course page
  • Summer term 2018
    • Course page

• Software Development Project 2

  Johannes Kepler University Linz

  • Summer term 2019
    • Course page
  • Summer term 2018
    • Course page

• Practical Computer Science 2 exercises (Mechatronics)

  Johannes Kepler University Linz

  • Summer term 2018
    • Course page
  • Summer term 2017
    • Course page

• Programming language implementations, compilers and virtual machines

  Lviv Polytechnical University, with Oracle Lviv

  External teaching.

  • Summer practice 2019

• Block course

  Ukrainian Catholic University, Applied Sciences faculty

  External teaching in Lviv.

  • Block course 2020

Thesis supervision

I have supervised one completed doctoral thesis and eight completed master’s and bachelor’s theses. The six completed projects below are a selected list, not a complete supervision record. Years and thesis links are included where verified.

• Truffle CUDA

  Bachelor thesis · completed

• Graal Collections

  Bachelor thesis · completed

• Software Complexity Metrics Agent

  Bachelor thesis · completed

• Truffle CIL

  Master thesis · completed

• Graal SymJEx

  Master thesis · completed

• Symbolic Execution for Compiler Optimizations

  Master thesis · completed · 2020

  • University thesis record