Mahesh Viswanathan is a faculty member at the University of Illinois at Urbana-Champaign. His research interests are in the core areas of logic, automata theory, and algorithm design, with applications to the algorithmic verification of systems. Most recently, his research has been focussed on the dynamic analysis of multi-threaded programs, model checking of cyberphysical systems and stochastic systems, and formal analysis of stochastic security protocols and differential privacy.