Introduction
Research
Publications
Talks
Teaching
Projects
Formal Reasoning about Synthetic Biology using Higher-order-logic Theorem Proving
Formal Analysis of Unmanned Aerial Vehicles using Higher-order Logic
Formalization of Transform Methods in Higher-order Logic
Formal Reasoning about Systems Biology using Theorem Proving
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
Formal Analysis of Transportation Systems in Higher-order Logic