Scholar
Rajarshi Roy
Google Scholar ID: VC4UZ4AAAAAJ
University of Oxford
Citations & Impact
Citations
303
H-index
10
i10-index
12
Publications
20
Co-authors
18
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Publications: See the publications page on his personal website; Other academic achievements not detailed.
Research Experience
- Position: Postdoctoral Researcher in the Automated Verification group at University of Oxford, working with Prof. Marta Kwiatkowska; Previously, a doctoral researcher at the Max Planck Institute for Software Systems.
Education
- Bachelor's and Master's degrees: Chennai Mathematical Institute (CMI); Ph.D.: Max Planck Institute for Software Systems, Advisor: Prof. Daniel Neider.
Background
- Research interests: Analysis and verification of systems used in Artificial Intelligence and Machine Learning; Professional field: Automated Verification.
Miscellany
- Personal interests and other information not provided.
