Profile Details

Picture
Dipankar Sarkar
ADJUNCT PROFESSOR, IT
ds@cse.iitkgp.ac.in
 

Ph.D ( A THEOREM PROVER FOR VERIFYING ITERATIVE PROGRAMS OVER INTERGERS ), I.I.T., KHARAGPUR, 1990

Academic Experience
Organization Designation Duration
I.I.T., KHARAGPUR LECTURER, ECE DEPT. FEB., 1981 - JUNE, 1987
I.I.T., KHARAGPUR ASSTT. PROF. (CSE DEPT.) JULY, 1987 - JUNE, 1996
I.I.T., KHARAGPUR ASSOC. PROF. (CSE DEPT.) JULY, 1996 - JULY, 2004
I.I.T., KHARAGPUR PROF. (CSE DEPT.) AUG., 2004 - NOV., 2017
 
Any Other
:
RESEARCH AREAS: FORMAL VERIFICATION OF CIRCUITS AND SYSTEMS
Faculty Participation
Professional Activity
Project
Personal Website