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: The UK Asynchronous Forum ACiD Working Group In the past I was affiliated with two research centres at London South Bank University, UK: Centre for Concurrent Systems and VLSI and Institute for Computing Research
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