myIIT
prb@iitdh.ac.in
Ramchandra Phawade
Assistant Professor
Computer Science and Engineering
AREAS OF RESEARCH INTERESTS
Theoretical Computer Science
Concurrency, Automata Theory and Logic in Computer Science
Petri nets: connections with product systems, expressions
Modelling and analysis of timed, concurrent systems using Petri nets
Formal verification of Timed systems
Details of PhD
The Institute of Mathematical Sciences, Chennai
