معرفی
Dr. Paliath Narendran is a Professor in the Department of Computer Science at the University at Albany, State University of New York, within the College of Nanotechnology, Science, and Engineering. He has been at UAlbany since 1988 after working at General Electric Corporate Research and Development in Schenectady, New York.
His educational background includes:
- PhD in Computer Science from Rensselaer Polytechnic Institute (1984)
- MTech in Computer Science from Indian Institute of Technology, India (1980)
- BTech in Electrical Engineering from Indian Institute of Technology, India (1978)
Dr. Narendran's research focuses on automated reasoning, formal verification, and pattern matching, with particular emphasis on unification theory and its applications in cryptographic protocol analysis. His work bridges theoretical computer science with practical security applications, developing formal methods to verify the correctness and security of cryptographic protocols. He has made significant contributions to understanding the theoretical foundations of rewrite systems, equational theories, and their applications in security protocol analysis.
His recent publications (2020-2025) demonstrate continued progression from foundational theoretical work to increasingly applied security contexts. The research shows strong focus on knowledge problems, unification theory, and their applications to access control models and cryptographic analysis. His work consistently combines deep theoretical insights with practical applications in information security, particularly in developing decision procedures and algorithms for complex equational theories relevant to security protocols.
Dr. Narendran teaches graduate courses including Theory of Computation (ICSI 609), Advanced Programming Concepts, Computational Logic, and the Master's Research Project, reflecting his expertise across theoretical and applied computer science.
