Rajarshi Ray (Preferred)
Rajarshi Ray
Associate Professor, SMCS, Indian Association for the Cultivation of Science
Joined
January 2026
Names
Emails
****@iacs.res.in (Confirmed)
Personal Links
Career & Education History
Associate Professor
SMCS, Indian Association for the Cultivation of Science (iacs.res.in)
2023 – Present
Assistant Professor
SMCS, Indian Association for the Cultivation of Science (iacs.res.in)
2019 – 2023
Assistant Professor
Computer Science and Engineering, National Institute of Technology Meghalaya (nitm.ac.in)
2013 – 2019
Advisors, Relations & Conflicts
Expertise
Formal Methods
, model checking
, verification
, cyber-physical systems
, software engineering
Present
Publications
Co-Authors
- Amit Gurung
- Ansuman Banerjee
- Ansuman Bhattacharya
- Atanu Kundu
- Atul Thakur
- Bernard Nongpoh
- Claudio Menghi
- Devdan Dey
- Enea Zaffanella
- Ezio Bartocci
- Federico Formica
- Georgios Fainekos
- Gidon Ernst
- Giulia Pedrielli
- Goran Frehse
- Gourinath Banda
- Ivan Porres
- Jarkko Peltomäki
- Kamal Das
- Krishnendu Mukhopadhyaya
- Lei Bu
- Masaki Waga
- Mir Md Sajid Sarwar
- Moumita Das
- Paolo Arcaini