I am a final year computer science Ph.D. candidate at the Max Planck Institute for Software Systems (MPI-SWS) in
Kaiserslautern, Germany.
I am broadly interested in automatic testing, debugging, security, formal analysis and verification of complex software systems.
The overarching goal of my research is to improve software correctness and reliability by making it easier and practical for developers of all skill
levels to incorporate state of the art formal methods tools in their software development workflow.
I am advised by Prof. Maria Christakis and work in
the "Practical Formal Methods" research group at MPI-SWS. I received my master's degree from the
University of Freiburg, Germany, in 2018.
I also worked in Amazon AWS's Automated Reasoning Group
as an applied scientist intern on Amazon CodeGuru under
the supervision of Nico Rosner and Martin Schäf in the summer of 2021.
Best presentation award [video]