Mahesh Viswanathan
Assistant Professor 

Research Interests Analysis and validation of software systems, including design of efficient algorithms, characterization of computational limitations, development of formal models for system specification and implementation of software tools for program analysis.

Research Area Formal Systems, and Software Verification and Validation

Research Groups Algorithm Group

Education PhD, University of Pennsylvania, 2000

Honors and Awards Morris and Dorothy Rubinoff Award, U Penn (2001) and Dean's Fellowship, U Penn (1995).

Representative Publications M. Viswanathan and R. Viswanathan, Foundations for Circular Compositional Reasoning, Proceedings of the International Colloquium on Automata, Languages and Programming, 2001. J. Feigenbaum, S. Kannan and M. Strauss, An Approximate L^1 Difference Algorithm for Massive Data Streams, to appear in the SIAM Journal of Computing. F. Ergun, S. Kannan, S.R. Kumar and R. Rubinfeld, Spot Checkers, Journal of Computer and System Sciences, 2000.

Department of Computer Science, Thomas M. Siebel Center for Computer Science, 201 N. Goodwin, Urbana, IL 61801-2302.
The Department  is part of the College of Engineering at the University of Illinois at Urbana-Champaign.
Contact webmaster@cs.uiuc.edu with questions or comments on this page or academic@cs.uiuc.edu
with academic questions. This site was created 12/01/01.