Phone: (515)294-3463
Fax: (515)294-0258
Email: smitra@cs.iastate.edu
Homepage: http://www.cs.iastate.edu/~smitra/
|
|
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
 |
| Sawyer Chess |
 |
| SuperNationals |