Professor and Dean of Studies |
|
- Partial order based models for concurrent systems
- Logics for specifying and verifying concurrent systems
- Distributed algorithms
-
President and Member, Executive Council, Indian Association for Research in Computing Science (IARCS)
-
Member, ACM India Council
-
Executive Director, International Olympiad in Informatics
-
National Coordinator, Indian Computing Olympiad
-
Member, Scientific Board, Mysore Park Workshops
-
Member, Editorial Board,
- Leibniz International Proceedings in Informatics, an open access series for conference proceedings published by Schloss Dagstuhl - Leibniz Center for Informatics, Germany.
- 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,
- 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012) Thiruvananthapuram, India, October 3-6, 2012 (co-chair of Programme Committee).
- 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), Bangalore, India, September 24-27, 2012.
- 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012), Hamburg, Germany, June 25-29, 2012.
- Previous Programme Committees
-
Member, EATCS Council, European Association for Theoretical Computer Science, 2007–2011