R Govind (Preferred)
R Govind
Postdoc, Uppsala University
- Joined June 2024
Names
Emails
****@it.uu.se (Confirmed)
, ****@cse.iitb.ac.in (Confirmed)
Personal Links
Career & Education History
Postdoc
Uppsala University (uu.se)
2023 – Present
Postdoc
Indian Institute of Technology Bombay, Indian Institute of Technology, Bombay (cse.iitb.ac.in)
2021 – 2023
PhD student
University of Bordeaux (u-bordeaux.fr)
2017 – 2021
Advisors, Relations & Conflicts
Postdoc Advisor
Parosh Abdulla
Present
PhD Advisor
Igor Walukiewicz
Present
PhD Advisor
Frederic Herbreteau
Present
Postdoc Advisor
Mohamed Faouzi Atig
Present
Expertise
Formal Methods
Present
Automata Theory
Present
Real-time systems
Present