Alwen Tiu

Alwen Tiu
https://www.scopus.com/authid/detail.uri?authorId=8961912700
Nanyang Technological University, Singapore, Singapore

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