Scholar
Kiran Gopinathan
Google Scholar ID: IcuGXgcAAAAJ
Postdoctoral Researcher, University of Illinois, Urbana-Champaign
Proof maintenance
Formal Methods
Distributed Systems
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
86
H-index
5
i10-index
3
Publications
15
Co-authors
1
list available
Publications
2 items
EMPIRIC: Experiment-Driven Learning of Residual World Models for Robot Planning
2026
Cited
0
Pact: A Choreographic Language for Agentic Ecosystems
2026
Cited
0
Co-authors
1 total
Ilya Sergey
Associate Professor, National University of Singapore
