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.