Dipankar Sarkar

From Metakgp Wiki
Jump to navigation Jump to search
Dipankar Sarkar
Department Computer Science & Engineering
Research Area(s)
  • Formal Verification of circuits and systems
  • Logic and Automated theorem Proving
Year Joined 1980
email [email protected]


See Also[edit | edit source]

External links[edit | edit source]