معرفی
Professor Nagarajan Raja is a faculty member in the Department of Computer Science at Middlesex University, specializing in foundational aspects of computing. His research focuses on quantum information systems, cybersecurity through program analysis, and state machine theory. He leads the CST4040 module and contributes to formal methods for quantum protocols.
Research interests include quantum computing, formal verification, and cybersecurity. His work spans theoretical frameworks for quantum systems, error correction, and protocol analysis using tools like Coq and Q#. He has published extensively on topics ranging from quantum process calculus to cryptographic applications.
Publications highlight contributions to quantum error-correcting codes, automated equivalence checking of systems, and formal models for concurrent quantum processes. His work bridges theoretical foundations with practical applications in secure communication and computational efficiency.
For collaboration or enquiries, contact Dr. Aboubaker Lasebae for research partnerships or the program director Dr. Serengul Smith for academic programs.
