Rohit Chadha

Rohit Chadha

Director, Cybersecurity Center

Associate Professor

Electrical Engineering and Computer Science

University of Missouri

111 Naka Hall

Columbia, MO 65211

Email: chadhar at missouri dot edu

Phone: Five seven three eight eight two four eight nine nine


Rohit Chadha is an associate professor in the Electrical Engineering and Computer Science Department at University of Missouri. His research interests are in the area of formal methods and cybersecurity. Rohit has held research positions at INRIA Saclay, France; the University of Illinois at Urbana-Champaign; the Instituto Superior Tecnico in Portugal; and the University of Sussex in the UK. Rohit is the Director of the CyberSecurity Initiative at the University of Missouri.


Ph.D., University of Pennsylvania

B.Tech, Indian Institute of Technology, Delhi

Research Interests


Formal Methods

Program Analysis