Current Projects:
Formal Verification of Physical Systems
Active Projects
Formalization of Partial Differential Equations
Completed Projects
Formal Analysis of Optical Systems
Formal Verification of Transportation Systems
Completed Projects
Formal Analysis of Traffic Conflicts Severity Using Keymaera.
Formal Verification & Artificial Intelligence
Active Projects
Proof Recommendation for the HOL4 Theorem Prover.
Efficient Explainable AI and Adversarial Robustness using Formal Methods.
Formal Reliability Analysis
Active Projects
Formal Probabilistic Risk Assessment using Theorem Proving
Formal Dynamic Dependability Analysis using HOL Theorem Proving
Completed Projects
Formalization of Continuous Time Markov Chains with Applications in Queuing Theory
Formalization of the M/M/1 Queue in HOL
Formal Reliability Analysis using Theorem Proving
Approximate Computing
Active Projects
On the Improving of Approximate Computing Quality Assurance
Completed Projects
Adaptive Approximate Computing for Enhanced Quality Assurance