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 | Ordinary PC member in Program Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
APLAS 2019-profile
View general profile
View general profile