Professur für Theorie verteilter Systeme

  1. Universität
  2. Fakultäten
  3. Fakultät für Angewandte Informatik
  4. Institut für Informatik
  5. Lehrstühle und Professuren der Informatik
  6. Theorie verteilter und paralleler Systeme
  7. Team
  8. Lukas Bartl

Lukas Bartl

Wissenschaftlicher Mitarbeiter
Professur für Theorie verteilter Systeme
Telefon: +49 821 598 - 2121
E-Mail:
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.

Publikationen

Publikationen sind auch bei DBLP und ORCID zu finden.
2025

2025

Lukas Bartl, Jasmin Blanchette and Tobias Nipkow. in press. Exploiting instantiations from paramodulation proofs in Isabelle/HOL. In Clark Barrett, Uwe Waldmann (Eds.). Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, proceedings. Springer, Berlin, 573-593 DOI: 10.1007/978-3-031-99984-0_30
BibTeX | RIS | DOI | URL

Lukas Bartl, Julian Linne and Kirstin Peters. 2025. Fault-tolerant multiparty session types with global escape loops. Electronic Proceedings in Theoretical Computer Science 433, 3-22. DOI: 10.4204/eptcs.433.3
BibTeX | RIS | DOI

Suche