Registered user since Wed 11 Jul 2018
Name:David Sanan
Bio:
Principal Research Scientist at NTU.
Country:Singapore
Affiliation:Nanyang Technological University, Singapore
Personal website: https://www3.ntu.edu.sg/home/sanan/
Research interests:Formal Methods, Theorem Proving, Programming Languages, Software Verification, OS Verification, Embedded Systems, Quantum Computing
Contributions
POPL 2025-profile
View general profile
View general profile