About me

Research

• Logical formalisms for Verification & Specification
• Safe Reinforcement Learning
• Knowledge Representation and Reasoning
• Reactive Synthesis
• Reasoning about Actions and Automated Planning + Scheduling
• Multiagent Systems and Game Theoretic Dynamics
• Neurosymbolic AI (e.g. logic & learning)
• Explainability and Interpretability
• Causality