Alwen Tiu

Alwen Tiu is an Associate Professor in the School of Computing at The Australian National University. His research interests include formal methods, computational logic, automated theorem proving, and computer security. He focuses on modeling computational systems as mathematical theories and developing tools to prove their correctness or identify potential flaws. Tiu obtained his PhD from Pennsylvania State University in 2004 and has held academic positions at Ecole Polytechnique, LORIA/INRIA Lorraine, and NTU Singapore. He rejoined ANU in late 2017. For more information, visit his website at https://comp.anu.edu.au/people/alwen-tiu/.

Alwen Tiu is a researcher in the School of Computing at The Australian National University, specializing in logic, proof theory, process calculus, theorem proving, and computer security. His work explores the intersection of formal methods and security, with a focus on automated reasoning and verification. Tiu's research includes developing logical frameworks for reasoning about specifications, proof systems for classical and intuitionistic logic, and tools for model checking and bisimulation checking. His publications address challenges in combining SMT solvers with interactive proof assistants, automating open bisimulation, and enhancing runtime monitoring with metric temporal logic. His contributions span theoretical foundations and practical applications in formal verification and security.