mahesh viswanathan

My research interests are in the core areas of logic, automata theory, and algorithm design, with applications to the algorithmic verification of systems. Most recently, my 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. A list of my papers can be found on DBLP. Unfortunately, I don't update my webpage frequently enough to have downloadable copies of my papers. For drafts of papers not available online, please email me.