Hello! I am a PhD student at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, co-advised by Rupak Majumdar and Damien Zufferey. I got a Master's degree from TU Kaiserslautern and Bachelor's degree from Rajasthan Technical University, both in Computer Science.
Winter 2018/19: I'm assisting Prof. Heike Leitte in the lecture Computational Geometry at TU Kaiserslautern.
m a t h u r [at] m p i - s w s . o r g