Home » Research

Research

Advertisements

My research interests are:

  • Time-driven optimization of digital circuits
  • Formal verification of digital circuits
  • E-learning on Medical Education
  • Combinatorial optimization using MAX-SAT
Advertisements