R Ramanujam

R Ramanujam

Professor
Theoretical Computer Science
2254 3269
jam @ imsc . res . in
419 New Building
Research Interests: 
  • 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.
Education: 
  • BE (Hons) in Electrical and Electronics Engg from BITS, Pilani.
  • PhD from Tata Institute of Fundamental Research, Mumbai.
Career History: 
  • Post-doctoral research at City University of New York, USA.
  • Faculty at Institute of Mathematical Sciences, Chennai since 1987.
Courses Taught: 
  • 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.
Selected publications: