davidsanan Goto Github PK
Name: David Sanan
Type: User
Company: Singapore Institute of Technology
Bio: Assistant Professor at Singapore Institute of Technology. I work on cyber-security by applying formal methods.
Location: Singapore
Blog: davidsanan.github.io