Teaching/ Supervision

 

Teaching

 
  • Concepts of Programming Languages, Lecturer

    • TU Darmstadt Summer Semester 2021 (Upcoming)

  • Software Engineering 4 AI, Advisor

    • TU Darmstadt Winter Semester 2020 – 2021

  • Foundations of Programming Languages, Teaching Assistant

    • Goethe University, Winter Semester 2014 – 2015

  • Mobile Testing and Analysis, Teaching Assistant

    • Saarland University, Summer Semester 2013

  • Software Engineering, Tutor

    • Saarland University, Summer Semester 2012

 

Supervised Thesis

  • Incrementally Transpiling C to Rust – Phillip Koslowski Bachelor of Science 2020 (TU Darmstadt)

  • Automatically generating test cases from specifications – Rakshit Krishnappa Ravi – Master of Science 2020 (University of Paderborn)

 
 
 

%d bloggers like this: