Jump to content

User:Kakashi/Dipankar Sarkar

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