Frameworks
Current Projects
- Approximate Computing
- Analog and Mixed Signal Designs Verification
- Formal Verification of Optical Systems
- Probabilistic Analysis in the HOL Theorem Prover
- Formal Verification of Cloud Systems
Past Projects
- Verification of Group key management protocols
- IP watermarking Security Techniques
- Verification of DSP Desgins in HOL
- SystemC Verification
