Simanta Mitra
 

Office: B21 Atanasoff Phone: (515)294-3463 Fax: (515)294-0258 Email: smitra@cs.iastate.edu Homepage: http://www.cs.iastate.edu/~smitra/

Research Interests
Formal Specification, Formal Verification, Compilers, Programming Languages, Software Engineering, Software Architecture, Web Services.

Education
Ph.D.   Computer Science, Iowa State University, Ames, IA 1997
M.S.   Computer Science, Iowa State University, Ames, IA  1991
B.E.   Computer Science and Technology, Calcutta University, India, 1987