Assistant Professor at Singapore Institute of Technology. I work on cyber-security by applying formal methods.
-
Singapore Institute of Technology
- Singapore
- davidsanan.github.io
Highlights
- Pro
Popular repositories Loading
-
Quatum-Computing-Reasoning
Quatum-Computing-Reasoning PublicIsabelle HOL semantics and Hoare Logic with Separation for reasoning in Quantum Computing
Isabelle
-
-
-
Uniswap
Uniswap PublicVerification of the Uniswap Protocol conducted for MetaTrust in 2022/2023
Isabelle
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
