R Ramanujam
- Automata theory
- Mathematical logic, modal and epistemic logics, finite model theory
- Theory of distributed systems
- Game theory
- Security theory
- Other: mathematics and science education, and popularization.
- BE (Hons) in Electrical and Electronics Engg from BITS, Pilani.
- PhD from Tata Institute of Fundamental Research, Mumbai.
- Post-doctoral research at City University of New York, USA.
- Faculty at Institute of Mathematical Sciences, Chennai since 1987.
- Mathematical Logic, model theory, modal logics, temporal logics and verification.
- Automata theory, concurrency theory.
- Theory of programming languages.
- Discrete infinite structures.
- Game theory, games and logic.
- Theory of distributed systems.
- M S Anantha Padmanabha and R Ramanujam: The monodic fragment of Propositional Term Modal Logic, to appear in Studia Logica, 2018.
- R. Ramanujam, S. Sheerazuddin: Realizable temporal logics for web service choreography. J. Log. Algebr. Meth. Program. 85(5): 759-781 (2016).
- R. Ramanujam, Ramanathan S. Thinniyam: Definability in First Order Theories of Graph Orderings. LFCS 2016: 331-348.
- R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh: The Complexity of Disjunction in Intuitionistic Logic. LFCS 2016: 349-363.
- Soumya Paul, R. Ramanujam: Subgames within Large Games and the Heuristic of Imitation. Studia Logica 102(2): 361-388 (2014).
- R. Ramanujam: Logical Player Types for a Theory of Play. Johan van Benthem on Logic and Information Dynamics 2014: 509-528.
- Soumya Paul, R. Ramanujam: Dynamics of Choice restriction in Large Games. IGTR 15(4) (2013).
- Amaldev Manuel, R. Ramanujam: Class Counting Automata on Datawords. Int. J. Found. Comput. Sci. 22(4): 863-882 (2011).
- Swarup Mohalik, R. Ramanujam: Automata for Epistemic Temporal Logic with Synchronous Communication. Journal of Logic, Language and Information 19(4): 451-484 (2010).
-
R. Ramanujam, Sunil Easaw Simon: A Communication Based Model for Games of Imperfect Information. CONCUR 2010: 509-523.
-
Anguraj Baskar, R. Ramanujam, S. P. Suresh: A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. MFCS 2010: 102-113.
-
R. Ramanujam, Sunil Easaw Simon: Structured strategies in games on graphs. Logic and Automata 2008: 553-574.
-
R. Ramanujam, S. P. Suresh: Decidability of context-explicit security protocols. Journal of Computer Security 13(1): 135-165 (2005).
-
B. Meenakshi, R Ramanujam: Reasoning about layered message passing systems. Computer Languages, Systems & Structures 30(3-4): 171-206 (2004).
-
Rohit Parikh, R Ramanujam: A Knowledge Based Semantics of Messages. Journal of Logic, Language and Information 12(4): 453-467 (2003).