My research interests center around the computer-aided specification and verification of safety-critical systems, embedded software, biological systems (especially networks of cardiac cells), and security protocols. One of the main techniques we use to do this is Model Checking.

Please contact me by email if you are interested. For more information, please see my online CV.