teaching

WS24/25
Automated Theorem Proving - Tutorial

Ludwig Maximilian University of Munich, Munich, Germany
- ATP WS24/25
WS24/25

Softwareentwicklungspraktikum für Informatik im Nebenfach

Ludwig Maximilian University of Munich, Munich, Germany
SS24
Cryptography

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

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

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
WS23/24
Bachelorarbeit - Varol Cagdas Tok

Ludwig Maximilian University of Munich, Munich, Germany
- Strategies and optimization approaches for the exchange of clauses in SAT Solvers
SS24
Bachelorarbeit - Wanda Rosmus

Ludwig Maximilian University of Munich, Munich, Germany
- Resolution Prover in Rust