Ramneet Singh
Scholar

Ramneet Singh

Google Scholar ID: mWIpuJkAAAAJ
Microsoft Research
Programming LanguagesFormal MethodsMachine Learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6
 
H-index
2
 
i10-index
0
 
Publications
4
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
2 items
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
2025
Cited
0
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
2025
Cited
0
Resume (English only)
Co-authors
12 total
Sathvik Joel
Sathvik Joel
Microsoft Research
Aditya Kanade
Aditya Kanade
Microsoft Research India
Nagarajan Natarajan
Nagarajan Natarajan
Researcher, Microsoft Research India
Abhav Mehrotra
Abhav Mehrotra
Student at Carnegie Mellon University, previously Microsoft Research India
Nalin Wadhwa
Nalin Wadhwa
PhD @ UIUC || Research fellow @ Microsoft Research India
Ramakrishna Bairi
Ramakrishna Bairi
Microsoft Research India
Edward A. LEE
Edward A. LEE
Professor of Electrical Engineering and Computer Sciences, University of California at Berkeley
Elizabeth Polgreen
Elizabeth Polgreen
Lecturer, University of Edinburgh