[IITG] Dr. Hemangee K. Kapoor
Assistant Professor
Department of CSE
Home Academic Publications Teaching
I am member of the Formal Methods Group at IIT Guwahati.

My research interests include:
  • Process Calculi
  • Concurrency
  • Formal Verification
  • Asynchronous Circuits: Verification & Synthesis
and I was in the organising committee of the National Workshop on Challenges in VLSI, NWCV organised at DA-IICT on 13-14 May, 2005 and 21-22 Dec 2006. A short report can be found here.
I have been actively participating in two research networks:
In the past I was affiliated with two research centres at
London South Bank University, UK:
Hemangee K. Kapoor
Contact Address :
     Department of Computer Science and Engineering
     Indian Institute of Technology Guwahati,
     Guwahati (Assam),
     Pin. 781 039, India.

Tel (Off.): +91 (0)361 258 2363
Fax: +91 (0)361 269 2787
Email:
     hemangee [at] iitg [dot] ernet [dot] in

Valid HTML 4.01!