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