myIIT
Prof
Ramchandra Phawade
Assistant Professor, Computer Science and Engineering
AREAS OF RESEARCH INTEREST
- 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
