People

Abhik Roychoudhury - Professor (Lead PI)
Liang Zhenkai - Associate Professor (Co-PI)
Prateek Saxena - Assistant Professor (Co-PI)
Dong Jin Song - Professor (Co-PI)
  • Design analysis and verification
  • Context awareness and pervasive computing
  • Real-time concurrent system specification
  • Web semantics, services, agent and reasoning
  • Formal methods and safety critical systems
  • Object, component, and language semantics
  • http://www.comp.nus.edu.sg/~dongjs
Chang Ee-chien - Associate Professor (Co-PI)
Roland Yap - Associate Professor (Co-PI)
Karen Teh - Acting Head Engineering [DSTA, Singapore]
Kan Pak Leng - CTO [ST Infocomm Security]
Eugene Teo - Senior Manager [Symantec, SG]
Douglas Tang - Business Lead (Cyber-security) and Senior Director Information management (Cybersecurity) - [NEC Labs, SG]
Ruby B. Lee - Chair Professor (Princeton)
Andrew Martin - Professor (Oxford)
Luke Ong - Professor (Oxford)
Tulika Mitra - Associate Professor (NUS)
Alessandro Orso - Professor (Georgia Tech)
Elaine Shi - Assistant Professor (Maryland)
  • Privacy, applied cryptography, system security, language-based security, Trusted Computing, as well as security and privacy technologies for cloud computing and ubiquitous computing
  • http://www.cs.umd.edu/~elaine
Dawn Song - Associate Professor (UC Berkeley)
Gregory Duck
Naipeng Dong
Marcel Bohme
Xinshu Dong
Chua Zheng Leong
Sergey Mechtaev
Shin Hwei Tan
Shweta Shinde
Nguyen Manh Dung
  • Software Testing
  • Symbolic Execution
Thuan Pham Van
Yulis
  • Computer Security
  • Networking
  • Software Testing
Yaoqi Jia
Komondoor V. Raghavan
Luke Ong - Professor
Subhajit Roy - Assistant Professor
Dawn Song - Professor