Rohit Chadha

Office : 3211 Siebel Center


Department of Computer Science


University of Illinois


Urbana, Il, 61801
Tel : +1 217 265 0982
Fax : +1 217 265 6591
Email : rch@uiuc.edu

Research interests

Software Engineering, Model Checking, Security,   Logic in Computer Science

CV


Publications