My main research objective is the development of design principles for making AI safe and trustworthy. I work on problems that encompass subjects like formal methods, game theory, control theory, and machine learning. Check out my personal webpage to know more.
