Projects

• Theorem Proving
  • Formal Analysis of 2D Image Processing Filters using Theorem Proving
  • 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
• Model Checking
  • Formal Analysis of a ZigBee-based Routing Protocol for Smart Grids using UPPAAL
  • Formal Analysis of Weather Forecasting Models
• Natural Language Processing
  • Anti-social Behavior Detection using Multi-lingual Model