Mahesh Viswanathan

Ph.D. University of Pennsylvania, 2000

Research Statement

Most of my research can be broadly classified into the following categories:

• Automata Theory for finite state machines with limited auxiliary storage and its applications to software verification
• Learning algorithms for computation models of formal languages. Applications include model construction for systems and symbolic model checking based on learning
• Model checking algorithms for probabilistic systems based on statistical sampling of executions and numerical computation
• Randomized algorithms to check approximate correctness of data with respect to a property under different computational models
• Monitoring and checking a system at runtime to see if the exhibited execution conforms to a formal requirement