Computer Science Department
Place holder headshot when no photo is available

Arjun Viswanathan

Job Title
Visiting Assistant Professor of Computer Science
Steinmetz Hall 229
Phone

Research interests

Formal Methods, Automated Reasoning, Software Verification

Academic credentials

B.E., Visvesvaraya Technological University; M.C.S., University of Iowa; Ph.D., University of Iowa