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 (PhD Student)?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
- Interactive Theorem Proving?(Isabelle)
- Concurrency Theory
- Multiparty Session Types
- Quantum-Based Systems
Courses / teaching
| Course | Home institute | Lecturer | Semester | Type | Language |
|---|
More information can be found in Digicampus.
2025
|
2025 |
|
Lukas Bartl, Jasmin Blanchette and Tobias Nipkow. in press. Exploiting instantiations from?paramodulation proofs in?Isabelle/HOL. DOI: 10.1007/978-3-031-99984-0_30 |
|
Lukas Bartl, Julian Linne and Kirstin Peters. 2025. Fault-tolerant multiparty session types with global escape loops. DOI: 10.4204/eptcs.433.3 |