Lukas Bartl
Wissenschaftlicher Mitarbeiter
Professur für Theorie verteilter Systeme
| Telefon: | +49 821 598 - 2121 |
| E-Mail: | lukas.bartl@uni-auni-a.de () |
| Raum: | 3009 (N) |
| Adresse: | Universit?tsstra?e 6a, 86159 Augsburg |
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 |
|---|---|---|
| ?bung zu Typsysteme | Wintersemester 2025/26 | ?bung |
| ?07: Do, 08:15 Uhr, Diskrete Strukturen und Logik | Wintersemester 2025/26 | ?bung |
| Isabelle-Lab | Wintersemester 2025/26 | Vorlesung |
| ?bung zu Isabelle-Lab | Wintersemester 2025/26 | ?bung |
| Typsysteme | Wintersemester 2025/26 | Vorlesung |
| ?bung zu Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme | Wintersemester 2025/26 | ?bung |
| Logik für Informatiker / Modellierung diskreter Systeme / Modellierung informationstechnischer Systeme | Wintersemester 2025/26 | Vorlesung |
| Oberseminar Theorie verteilter und paralleler Systeme | Wintersemester 2025/26 | Oberseminar |
| Tutorenübung Diskrete Strukturen und Logik | Wintersemester 2025/26 | Vorlesung |
N?here Informationen sind in Digicampus zu finden.
Publikationen
N/A