N. Raja

School of Technology & Computer Science

Tata Institute of Fundamental Research

Mumbai 400 005

INDIA

Tel: +91-22-22782312

Fax: +91-22-22804610 / 22804611

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.

Publications Online

Abandon hope, all ye who exit here