R. Ramanujam

R. Ramanujam is a Professor at the Institute of Mathematical Sciences (IMSc), Chennai, where he has been a faculty member since 1987. He holds a BE (Hons) in Electrical and Electronics Engineering from BITS, Pilani, and a PhD from the Tata Institute of Fundamental Research (TIFR), Mumbai. His research interests span Automata theory, Mathematical logic (including modal and epistemic logics), finite model theory, distributed systems, game theory, security theory, and science education.

He has taught advanced courses on topics such as Mathematical Logic, Model Theory, Temporal Logics, Automata Theory, and Game Theory. His work emphasizes formal methods in security, verification of distributed systems, and the application of logic to computer science and game theory.

Ramanujam's publications include seminal works on cryptographic protocol analysis, temporal logics for web services, and game-theoretic models. Notable contributions include studies on definability in first-order theories and the complexity of intuitionistic logic operations. His research bridges theoretical foundations with practical applications in security, distributed computing, and educational initiatives.