Dipankar Sarkar

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

• Department of Computer Science & Engineering

External links

• Dipankar Sarkar on iitkgp.ac.in