CV

Find the pdf version here.

Education

• PhD in Computer Science
  Max Planck Institute for Software Systems • Kaiserslautern, Germany • 2021 - Present
• Master of Science in Computer Science
  Chennai Mathematical Institute • Chennai • 2019 - 2021
  CGPA: 9.94/10
• Bachelor of Science in Mathematics and Computer Science
  Chennai Mathematical Institute • Chennai • 2016 - 2019
  CGPA: 8.48/10
• Senior Secondary Schooling
  BJB Junior College • Bhubaneswar • 2014 - 2016
  12th Score: 85%
• High Schooling
  Rtapalli Vidyapitha • Bhubaneswar • 2009 - 2014
  10th Score: 95.5%

Research Internships/Visits

• Carnegie Mellon University
  with Eunsuk Kang
  on Robustness for Software Systems
  May 2025 • Pittsburgh, USA
• Max Planck Institute for Software Systems & University of Liverpool
  with Daniel Neider & Martin Zimmermann
  on Adaptive Strategies for rLTL Games
  July - Dec 2020 • Remote
• Aix-Marseille University
  with Jean-Marc Talbot
  on Minimization of Visibly Pushdown Automata
  May - July 2019 • Marseille, France

Reading Projects

• Chennai Mathematical Institute
  with Prajakta Nimbhorkar
  on Metric Embeddings and their Algorithmic Applications
  Aug - Nov 2020 • Chennai, India
• Chennai Mathematical Institute
  with Balaguru Srivathsan
  on Games on Graphs
  Aug - Nov 2019 • Chennai, India

Honours

• Recipient the INSPIRE scholarship for my Bachelor’s and Master’s degrees by the Department of Science and Tech, Govt of India.
• Was among the top 30 students in India selected to attend the International Mathematics Olympiad Training Camp (IMOTC) 2015 and 2016
• Was among the top 30 students in my state in the Zonal Informatics Olympiad 2015
• Recipient of the Gold Medal in the Regional Mathematics Olympiad 2014

Invited Talks

• Assume-Guarantee Distributed Synthesis via Permissive Templates
  Software Design and Analysis Group at Carnegie Mellon University • Pittsburgh, USA • May 2025

• Towards Seamless Reactivity of Hybrid Control
  ELLIIT Focus Period on Security and Fault Tolerance of Cyber-Physical Systems • Lund, Sweden • Apr 2024

• Strategy Templates for Graph Games
  Formal Methods and Verification Seminar at Université libre de Bruxelles • Brussels, Belgium • Dec 2023

• Adaptive Strategies for rLTL Games
  Formal Methods and Verification Seminar at Université libre de Bruxelles • Remote • Dec 2020

Mentoring of Master’s Students

Kilian Schweppe

Teaching Experience

Teaching Assistant at Technical University of Kaiserslautern

• Advanced Automata Theory (2024)
• Advanced Automata Theory (2023)

Teaching Assistant at Chennai Mathematical Institute

• Discrete Mathematics (2021)
• Design and Analysis of Algorithms (2020)
• Data Mining and Machine Learning (2019)

Teacher at Rtapalli Vidyapitha

• Calculus (2017-2018)
• Elementary Number Theory (2025)

Other Professional Activities

• PC Member: HSCC RE 2024-2025
• Journal Reviewer: FAC 2024
• Conference Reviewer: ISoLA 2022
• Conference Sub-reviewer: CAV 2025, IJCAI 2025, AAMAS 2025, TACAS 2024-2025, ICALP 2025, VMCAI 2024, ICSE 2023, NFM 2022