Indian Statistical Institute
Advanced Computing and Microelectronics Unit

Ansuman Banerjee
Biographical Sketch

Ansuman Banerjee

Ansuman Banerjee is an Associated Professor at the Advanced Computing and Microelectronics Unit, Indian Statistical Institute Kolkata. He received his B.E. from Jadavpur University, and M.S. and Ph.D. degrees from the Indian Institute of Technology Kharagpur -- all in Computer Science. Prior to joining Indian Statistical Institute, he spent some time at the National University of Singapore as a research fellow and about three years at Interra Systems India Pvt. Ltd.

Ansuman has published one book chapter and more than 30 research articles in premier journals and conferences. His research has been recognized by several awards including the Young Scientist Award from the Indian Science Congress Association, the Innovative Dissertation Award from the Indian National Academy of Engineering, best thesis award nominations for ACM SIGDA and ACM and an honorable research contribution award from VLSI 2005. Dr. Banerjee currently serves as a reviewer of the Design Automation Conference (DAC) and  the VLSI conference.

Ansuman's research interests include design automation for embedded systems, hardware/software verification, VLSI CAD, and automata theory. Specifically, his research objective is focused on developing tools, techniques and methodologies for specification analysis, automated software debugging, functional test generation and formal / semi-formal verification for embedded systems.



Content for class "clear" Goes Here