- 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