Kush Grover


Hi cool visitor :)

A bit about me:

I am currently pursuing a PhD under supervision of Prof. Jan Křetínský at the Chair for Foundations of Software Reliability and Theoretical Computer Science, TU Munich.

My research interests are:

Verification and Synthesis, Model Checking, Stochastic Systems, Learning and (quite recently in) Quantum Computing.