I am a first year PhD student at the Max Planck Institute for Software Systems and Saarland University. I am co-advised by Björn Brandenburg and Derek Dreyer. I work in the areas of real-time systems and formal verification.
Prior to starting my PhD at MPI in September 2022, I completed a dual bachelor's and master's degree program at BITS Pilani.
In my free time, I enjoy watching and learning more about cinema.