Jump to content

Dipankar Sarkar

From Metakgp Wiki
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