Lukas Koller joined the Cyber-Physical-Systems Group as a Ph.D. candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in late 2023. Lukas has received both, his master's degree and his bachelor's degree in Informatics from the Technical University of Munich in 2023 and 2021, respectively.
I am always looking for self-motivated students who want to work in my research area. If you are interested in writing your thesis in the field of my research, please write me an email containing your CV, transcript of records, and a rough direction you are interested in. Check the thesis proposals and practical course topics below for examples.
Abdulaziz, Mohammad; Koller, Lukas: Formal Semantics and Formally Verified Validation for Temporal Planning. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 2022, 9635-9643 more…BibTeX
Full text (
DOI
)