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