POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
David Sanan

Registered user since Wed 11 Jul 2018

Name:David Sanan
Bio:

Principal Research Scientist at NTU.

Country:Singapore
Affiliation:Nanyang Technological University, Singapore
Research interests:Formal Methods, Theorem Proving, Programming Languages, Software Verification, OS Verification, Embedded Systems, Quantum Computing

Contributions

Show activities from other conferences

Using general profile