User:Kakashi/Dipankar Sarkar

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


Retrieved from "https://wiki.metakgp.org/index.php?title=User:Kakashi/Dipankar_Sarkar&oldid=4460"