Foto von Hanna Krasowski

Hanna Krasowski

Technische Universität München

Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)


Boltzmannstr. 3
85748 Garching b. München

Curriculum Vitae

Hanna Krasowski joined the Cyber Physical Systems Group as a PhD candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2020. She is a member of the DFG Research Training Group on Continuous Verification of Cyber-Physical Systems (ConVeY). Hanna received her master's degree in Robotics, Cognition, Intelligence from Technical University of Munich in 2020 and her bachelor's degree in Mechanical and Process Engineering from Technical University of Darmstadt in 2017.

Her research interests include safe reinforcement learning, motion planning and formal methods.

Offered Thesis Topics

I am always looking for self-motivated students to solve interesting problems arising in my research areas. If you are interested in one of the currently available topics, or in my research in general and want to write a thesis in this field, simply send me a mail briefly describing your motivation.

Currently Available







  • Formal Methods for Cyber-Physical Systems [WS 20/21]
  • Cyber-Physical Systems [SS 21]

Practical Course

  • Motion Planning for Autonomous Vehicles [WS 20/21, SS 21]


  • Cyber-Physical Systems [WS 20/21, SS 21]




  • Krasowski, Hanna; Althoff, Matthias: Temporal Logic Formalization of Marine Traffic Rules. 2021 IEEE Intelligent Vehicles Symposium (IV), 2021 more… BibTeX Full text (mediaTUM)


  • Krasowski, Hanna; Wang, Xiao; Althoff, Matthias: Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. 2020 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)