Rohit Chadha

Office	:	3211 Siebel Center
		Department of Computer Science
		University of Illinois
		Urbana, Il, 61821
Tel	:	+1 217 265 0982
Fax	:	+1 217 265 6591
Email	:	rch@uiuc.edu

Formal Methods, Model Checking, Security, Security Protocols, Quantum Security, Logic in Computer Science

RESEARCH

TALKS