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