I am deeply interested in logic and, in particular, how meanings of operators within a logic emerge from and reflect their syntactic definitions. At its core, my work in philosophical logic and logics for neuro-symbolic multi-agent AI systems investigates how the rules and definitions of a logic interact to produce the desired derivabilities and behaviour. I am particularly interested in designing logics for game-theoretic models and their applications in formal verification.