APLAS 2019 (series) / Alwen Tiu
Registered user since Tue 18 Sep 2018
Name:Alwen Tiu
Country:Australia
Affiliation:Australian National University, Australia
Personal website: http://users.cecs.anu.edu.au/~tiu/
Research interests:Formal verification, Security, Proof Theory, Programming Languages
Contributions
APLAS 2019-profile
View general profile
View general profile