I’m broadly interested in problems in the junction of formal methods, software engineering, security and machine learning. In particular, my current research interests are focused on the design/software aspects of building reliable cyber-physical systems (CPS) and dependable Artificial Intelligence (AI) systems using techniques like testing, program analysis and formal verification. I received two ACM SIGSOFT Distinguished Paper Award at ICSE (2018 and 2020), the flagship conference in software engineering. See my Google Scholar and the research page for details.