N. Raja

School of Technology & Computer Science

Tata Institute of Fundamental Research

Mumbai 400 005

INDIA

Email: raja [at] tifr [dot] res [dot] in

Research interests

• Models of Concurrent and Interacting processes.
• Logic and Foundations of Mathematics.
• Automated and Interactive Theorem Proving.
• Programming Paradigms and Languages.
• Formal Methods and Semantics of computation.

Editorships

• Editor, Logica Universalis, Journal published by Springer-Birkhäuser.
• Guest Editor, Sadhana, Journal published by the Indian Academy of Sciences,
  Special Issue on Interactive Theorem Proving and Verification.
• Co-editor, Distributed Computing and Internet Technology,
  Lecture Notes in Computer Science, Volume 6536, Springer.
• Editor, Distributed Computing and Internet Technology,
  Lecture Notes in Computer Science, Volume 8337, Springer.
• Co-editor, Distributed Computing and Internet Technology,
  Lecture Notes in Computer Science, Volume 8956, Springer.

Publications Online

Lectures Online

Abandon hope, all ye who exit here