Alwen Tiu

Alwen Tiu
https://www.scopus.com/authid/detail.uri?authorId=8961912700
Australian National University, Australia, Australia

h-index: 15 Research interest: Logic, proof theory, process calculus, theorem proving, computer security