Lebenslauf
seit 2025 | Wissenschaftlicher Mitarbeiter an der Universit?t Augsburg |
2022?–?2024 | Masterstudium Informatik an der Ludwig-Maximilians-Universit?t München |
2018?–?2022 |
Bachelorstudium Informatik an der Ludwig-Maximilians-Universit?t München |
?
Informationen sind auch bei? ORCID zu finden.
Forschungsschwerpunkte
- Isabelle
- Concurrency Theory
Lehrveranstaltungen
(Angewandte Filter: Semester: aktuelles | Dozenten: Lukas Bartl | Vorlesungsarten: alle)
Name | Semester | Typ |
---|---|---|
Isabelle-Lab | Wintersemester 2024/25 | Vorlesung |
?bung zu Isabelle-Lab | Wintersemester 2024/25 | ?bung |
N?here Informationen sind in Digicampus zu finden.
Publikationen
N/A