Research interests I am broadly interested in verification and synthesis of safe controllers in uncertain environments. My primary application domain is autonomous vehicles where I model human behavior using probabilistic machine learning.