Rohit Chadha

Rohit Chadha is an Associate Professor in the Department of Electrical Engineering and Computer Science at the University of Missouri and serves as the Director of the Mizzou Cybersecurity Center. His research focuses on formal methods and their application to cybersecurity, particularly in verifying differential privacy mechanisms and randomized security protocols.

• Education: PhD from the University of Pennsylvania, BTech from the Indian Institute of Technology, Delhi
• Previous Positions: INRIA Saclay (France), University of Illinois at Urbana-Champaign, Instituto Superior Tecnico (Portugal), University of Sussex (UK)

Research Interests include automated verification of security hyperproperties, probabilistic automata, and quantitative information flow. His work addresses privacy risks in aggregate data and AI-driven battlefield communication systems.

Publication Trends show a focus on differential privacy verification, zero-trust architectures, and model checking of probabilistic systems. He has contributed to security frameworks for military applications and educational initiatives using collegiate competitions.

Scientific Awards:

• NSF CAREER Award (2016)
• NSF SHF: Medium Grant (2019)
• NSF TWC: Medium Grant (2013)

Rohit leads the Mizzou Cybersecurity Center, collaborating with industry partners through its Industrial Advisory Board. His research integrates formal verification with practical cyber defense applications.