Manas Hira Manas Hira Associate Professor , Computer Science & Technology M.Tech. (IIT Kharagpur) in the year 1991. B.Tech. (IIT Kharagpur) in the year 1989. Contact Addresses Residence West Bengal, India Phone (office) +91-33-26684561/62/63 Ext. Mobile +91-9830043230 email Research Areas Ciircuit Verification using Temporal Logic Recent Publications Courses Undertaken Theory of Computation Operating Systems Computer Architecture Principles of Programming Language Introduction to Computing Department of Computer Science & Technology, BESU, Shibpur - 7111 03, INDIA
