Kush Grover

About me

I am currently enrolled as a doctoral researcher under the supervision of Prof. Jan Křetínský in the Chair for Foundations of Software Reliability and Theoretical Computer Science at the TUM School of Computation, Information and Technology. I am also a part of the Research Training Group Continuous Verification of Cyber-Physical Systems (ConVeY).

My curriculum vitae (Last updated: January 2024).

Research Interests

• Formal Methods and Verification

• Controller Synthesis

• Temporal Logics

• Stochastic Systems

• Motion Planning

Contact

Email: firstname.lastname@tum.de

Office: MI 03.11.041,
Faculty of Informatics, Technical University of Munich,
Boltzmannstr. 3, 85748 Garching,
Germany

Education

I did my Bachelor's in Mathematics from Indian Statistical Institute, Bangalore and later enrolled as a Master's student of Computer Science at Chennai Mathematical Institute. I did my Master's thesis under Prof. B. Srivathsan on Learning Discrete Timed Automata.