N. Raja
Assistant Professor
Department of Technology and Computer Science
Tata Institute of Fundamental Research
India
Biography
Dr. N Raja is Assistant Professor at the computer science institute of TIFR. His work involves dealing with Models of Concurrent and Interacting processes, logic and Foundations of Mathematics, Automated and Interactive Theorem Proving, Programming Paradigms and Languages and Formal Methods and Semantics of computation.
Research Interest
Models of Concurrent Interaction .
Publications
-
Raja N (2009) Interactive Theorem Proving and Verification: Sadhana, Special Issue 1.
-
Raja N (2011) Distributed Computing and Internet Technology: Lecture Notes in Computer Science Springer.
-
Raja N (2014) Distributed Computing and Internet Technology: Lecture Notes in Computer Science Springer.
