Christina Miller, M.Sc.
Institut für Informatik
I am a PhD student in the Cyber-Physical Systems Group under Prof. Dr.-Ing. Matthias Althoff since 2018. I received my Bachelor of Science degree in Mathematics from the Ludwig-Maximilian-Universität München in 2015 and graduated with the Master of Science in Automotive Software Engineering at the Technische Universität München in 2017. My research interests include trajectory planning, reachability analysis and formal verification.