Professor and Dean of Studies |
|
- Partial order based models for concurrent systems
- Logics for specifying and verifying concurrent systems
- Distributed algorithms
- Secretary and Member, Executive Council, Indian Association for Research in Computing Science (IARCS)
- Member, EATCS Council, European Association for Theoretical Computer Science.
- National Coordinator, Indian Computing Olympiad
-
Member, Scientific Board, Mysore Park Workshops
- Member, Editorial Board,
- Formal Methods Letters , a quarterly special section of the journal Software Tools for Technology Transfer
- Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) , a subseries of Springer Lecture Notes in Computer Science (LNCS)
- Member, Programme Committee,
- 9th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, Uruguay, November 14-18, 2011.
- 22nd International Conference on Concurrency Theory (CONCUR 2011) Aachen, Germany, September 5-10 2011.
- 32nd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2011), Kanazawa, Japan (relocated to Newcastle-upon-Tyne, UK), June 20-24, 2011.
- Previous Programme Committees