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 (Doktorand) 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
- Interactive Theorem Proving?(Isabelle)
- Concurrency Theory
- Multiparty Session Types
- Quantum-Based Systems
Lehrveranstaltungen
| Kurs | Heimateinrichtung | Dozent | Semester | Typ | Sprache |
|---|
N?here Informationen sind in Digicampus zu finden.