I’m a M.Sc. student of computer science at LMU Munich, Germany.
Since 2014 I’m working at the local Software Systems Lab on CPAchecker, a tool for configurable software verification.
My bachelor’s thesis is about efficient symbolic execution. For more information, you can look at my CV.
Besides my computer science profession, I’m also a chair member at the charity organisation Aktion Augen Auf e.V.
If you want to reach me, you can find my contact information below!