Govind R - Education

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