Lukas Bartl
Research Assistant
Professur für Theorie verteilter Systeme
| Phone: | +49 821 598 - 2121 |
| Email: | lukas.bartl@uni-auni-a.de () |
| Room: | 3009 (N) |
| Address: | Universitätsstraße 6a, 86159 Augsburg |
Curriculum/Vitae
| since 2025 | Research Assistant at Universität Augsburg |
| 2022 – 2024 | Master's programme in Computer Science at Ludwig-Maximilians-Universität München |
| 2018 – 2022 |
Bachelor's programme in Computer Science at Ludwig-Maximilians-Universität München |
Information can also be found at ORCID.
Research foci
- Isabelle
- Concurrency Theory
Courses / teaching
(applied filters: semester: current | lecturers: Lukas Bartl | course types: all)
| name | semester | type |
|---|---|---|
| Übung zu Typsysteme | winter semester 2025/26 | Übung |
| Ü07: Do, 08:15 Uhr, Diskrete Strukturen und Logik | winter semester 2025/26 | Übung |
| Isabelle-Lab | winter semester 2025/26 | Vorlesung |
| Übung zu Isabelle-Lab | winter semester 2025/26 | Übung |
| Typsysteme | winter semester 2025/26 | Vorlesung |
| Übung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme | winter semester 2025/26 | Übung |
| Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme | winter semester 2025/26 | Vorlesung |
| Oberseminar Theorie verteilter und paralleler Systeme | winter semester 2025/26 | Oberseminar |
| Tutorenübung Diskrete Strukturen und Logik | winter semester 2025/26 | Vorlesung |
More information can be found in Digicampus.
Publications
N/A