teaching

SS24
Cryptography - Master Praktikum

Ludwig Maximilian University of Munich, Munich, Germany
- Cryptography SS24
WS23/24
Softwareentwicklungspraktikum für Informatik im Nebenfach - Bachelor Praktikum

Ludwig Maximilian University of Munich, Munich, Germany
- Softwareentwicklungspraktikum für Informatik im Nebenfach WS23/24
WS23/24
SAT Solving

Ludwig Maximilian University of Munich, Munich, Germany
- SAT Solving WS23/24
SS22

Programming and Modelling with Haskell - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
SS22

Logic and Discrete Structures - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
WS21/22
SAT Solving - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
- SAT Solving WS21/22
SS21

Programming and Modelling with Haskell - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
SS21

Logic and Discrete Structures - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
WS20/21

Functional Programming - Tutorial

Technical University of Munich, Munich, Germany
SS20

Programming and Modelling with Haskell - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
WS19/20

Introduction to Computer Science with Java - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany

WS23/24
Bachelorarbeit - Danail Raykov

Ludwig Maximilian University of Munich, Munich, Germany
- SAT-Solving mit Hilfe von BDD-Methoden - Leistungsvisualisierung und Analyse