Scholar
Rohit Chadha
Google Scholar ID: NC5SnUcAAAAJ
University of Missouri
Formal methods
Security
Software Verification
Applications of Logic to Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
411
H-index
10
i10-index
11
Publications
20
Co-authors
28
list available
Publications
3 items
Inner Momentum for Differentially Private Muon
2026
Cited
0
Privacy-Aware In-Context Learning for Large Language Models
2025
Cited
0
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
2025
Cited
0
Co-authors
7 total
Mahesh Viswanathan
University of Illinois, Urbana-Champaign
Paulo Mateus
Professor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal
Umang Mathur
Presidential Young Professor at National University of Singapore
Vincent Cheval
University of Oxford, United Kingdom
John C Mitchell
Professor of Computer Science, Stanford University
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Vijay Anand Korthikanti
Principal Research Scientist, Nvidia
