Mahesh Viswanathan

Mahesh Viswanathan is a Professor and Associate Head at the Siebel School of Computing and Data Science at the University of Illinois. His primary research focuses on formal methods, automata theory, and model checking, with applications in computer security, runtime verification, and cyber-physical systems. He received the NSF CAREER Award in 2005 for his contributions to these fields.

His research explores:

• Foundations of automata theory and formal verification
• Runtime assurance mechanisms for safety-critical systems
• Concurrency analysis and race detection algorithms
• Differential privacy and security protocol verification
• Theoretical aspects of real-time and hybrid systems

Viswanathan's recent publications demonstrate a strong focus on developing theoretically-grounded verification techniques for practical applications. His work frequently combines formal methods with machine learning approaches to solve challenging problems in program verification and system security.

Awards and Honors:
NSF CAREER Award (2005)