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

  • Adaptive Strategies for rLTL Games
    Daniel Neider & Martin Zimmermann • Max Planck Institute for Software Systems • University of Liverpool • July - Dec 2020
  • Minimization of Visibly Pushdown Automata
    Jean-Marc Talbot • Aix-Marseille University, France • May - July 2019

Reading Projects

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

Achievements

  • 2016 INSPIRE Scholarship for Higher Education
  • 2015 Indian National Mathematics Olympiad (INMO)
  • 2015 Zonal Informatics Olympiad
  • 2015 National Standard Examination in Astronomy
  • 2015 American Mathematics Competition (AMC) 12 (selected to participate in American Invitational Mathematics Examination)
  • 2014, 2012 Regional Mathematics Olympiad (Gold Medalist’14)
  • 2011 Junior Mathematics Olympiad (Silver Medalist)

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)

Other Professional Activities

  • PC Member: HSCC RE’24
  • Conference Reviewer: ISoLA’22
  • Conference Sub-reviewer: TACAS’24, VMCAI’24, ICSE’23, NFM’22