mahesh viswanathan

photo
Mahesh Viswanathan
Department of Computer Science
201 N. Goodwin Avenue
Urbana, IL 61801
email: vmahesh@ illinois .edu
office: 3232 Siebel Center
phone: 217-265-6298
fax: 217-265-6591

research interests

algorithm design, automata theory, and logic with applications to algorithmic verification of systems

for drafts of papers not available online, please email me

DBLP | scholar

teaching

fall 2018: Logic in Computer Science (CS 498)

past courses

advising

alumni