Mahesh Viswanathan
University/Research Lab: University of Illinois, Urbana-Champaign
Location: (Urbana, IL)
Personal Research Web Page: http://www.cs.illinois.edu/homes/vmahesh
Keywords: model checking, software verification, hybrid and embedded system verification, probabilistic system verification, logic, automata theory
Location: (Urbana, IL)
Personal Research Web Page: http://www.cs.illinois.edu/homes/vmahesh
Keywords: model checking, software verification, hybrid and embedded system verification, probabilistic system verification, logic, automata theory
Posted on: Friday, April 30th, 2010
Broad Research Area: Mobile / Ubiquitous / Embedded Computing, Programming Languages / Compilers, Software Engineering, Theory / Algorithms
Research Interests:
My interests are in model checking programs, probabilistic systems, and hybrid systems. I am also interested in the core areas of logic and automata theory.
Contact Information:
By email.
