Kimaya Bedarkar

Contact Me


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.


From Intuition to Coq: A Case Study in Verified Response-Time Analysis of FIFO Scheduling
by K. Bedarkar, M. Vardishvili, S. Bozhko, M. Maida, and B. Brandenburg
Appeared at RTSS'22