Tephilla Prince

I am a Ph.D. scholar in the Department of Computer Science and Engineering, with Prof. Ramchandra Phawade and Prof. S. Sheerazuddin at IIT Dharwad working broadly in the area of formal verification, specializing in the intersection of logic, automata theory and concurrency theory. Also enjoy building verification tools.


Research Interests

  • Logic
  • Automata Theory
  • Concurrency Theory, Petri Nets
  • SAT/SMT Solving

Teaching Assistantships

  • Automata Theory (2023, 2021, 2020, 2018)
  • Design and Analysis of Algorithms (2019)
  • Software Systems Theory and Lab (2020)
  • Logic for Computer Science (2020)
  • Computer Programming and Utilization (2022)

Education

Indian Institute of Technology Dharwad, India

Ph.D Candidate
Computer Science and Engineering
July 2018 - Current

Anna University, India

Masters student
Computer Science and Engineering
August 2013 - May 2015


Talks