Adjunct Professor in Logic and Semantics of Computation
Background
Research interests: Logic and semantics of computation, in particular, modal logic, coalgebra, and algebra, and their applications in the formal specification and analysis of software systems.