Registered user since Wed 11 Jul 2018
Name:David Sanan
Bio:
Assistant Professor at Singapore Institute of Technology
Country:Singapore
Affiliation:Singapore Institute of Technology
Personal website: https://davidsanan.github.io
Research interests:Formal Methods, Theorem Proving, Programming Languages, Software Verification, OS Verification, Embedded Systems, Quantum Computing
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile