Lars König, M.Sc.
- Researcher
- Room: 035
CS 50.34 - lars koenig ∂does-not-exist.kit edu
- Am Fasanengarten 5
76131 Karlsruhe
Curriculum Vitae (CV)
| 11/2022 - now | Doctoral Researcher at the Department of Informatics, Karlsruhe Insitute of Technology |
| 10/2019 - 10/2022 | Junior Teaching Assistant / Research Assistant at the Department of Informatics, Karlsruhe Insitute of Technology |
| 08/2017 - 12/2020 | Working Student at SAP, Walldorf |
| 10/2016 - 09/2022 | Studies of Informatics at Karlsruhe Institute of Technology |
| 2016 | Abitur at GHSE Emmendingen - Technical Gymnasium |
Publications
Master's Theses
An Improved Interface for Interactive Proofs in Separation Logic. master’s thesis
König, L.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000153230
König, L.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000153230