Govind R

Professional Experience

• Postdoctoral Fellow November 2023 – November 2025
  Uppsala University, Sweden
• Postdoctoral Fellow October 2021 – November 2023
  Indian Institute of Technology Bombay, India

Education

• Ph.D. in Computer Science 2017 – 2021
  Université de Bordeaux, France
  Chennai Mathematical Institute, India
  Joint Ph.D. Degree
  Thesis title: Partial order reduction for timed systems
  Advisors: Frédéric Herbreteau, B Srivathsan and Igor Walukiewicz
• M.Sc. in Computer Science 2015 – 2017
  Chennai Mathematical Institute, India
  Thesis title: Logics for Reversible Regular Languages and Semigroups with Involution.
  Advisor: Amaldev Manuel
• B.Tech. in Computer Science and Engineering 2011 – 2015
  National Institute of Technology Calicut, India
  Project: Architectural Enhancements to Experimental Operating System (eXpOS).
  Advisor: Murali Krishnan K