معرفی
Dr. Alwen Tiu is an Associate Professor at the School of Computing, Australian National University (ANU), where he has been a faculty member since 2006. His research lies at the intersection of theoretical and applied computer science, with a strong focus on formal methods, computational logic, automated reasoning, and computer security.
His educational background includes a PhD from Pennsylvania State University (2004), a visiting stint at Ecole Polytechnique, France, and a postdoctoral position at LORIA/INRIA Lorraine, France (2004–2005).
Dr. Tiu's research interests center on modeling computational systems—such as operating systems, communication protocols, and authentication mechanisms—as formal mathematical theories. He develops tools and techniques to rigorously prove their correctness or detect vulnerabilities. His work frequently involves proof systems, sequent calculus, intuitionistic and bi-intuitionistic logic, and formal verification frameworks like Isabelle/HOL.
The recent publications highlight a consistent trajectory in foundational logic and its application to security and system correctness. His work spans from deep proof-theoretic investigations in non-classical logics to practical security analysis of real-world systems like Samsung's Bluetooth tracking. This reflects a rare blend of theoretical depth and practical relevance.
Dr. Tiu has led several significant research projects, including those on blockchain verification, cybersecurity training platforms, and formal methods for process equivalence. He is actively involved in supervising research students and advancing assurance techniques in software and hardware systems.
- Proof Theory
- Formal Verification
- Security Protocol Analysis
- Automated Reasoning
He has been principal investigator on multiple research grants, focusing on verifiable blockchain frameworks, cybersecurity education, and enhancement of proof tools using theory morphisms. His work contributes significantly to both academic and industrial assurance needs.
Dr. Tiu is affiliated with the formal methods and security research groups at ANU, contributing to a vibrant research ecosystem focused on trustworthy computing. His collaborations span national and international institutions, particularly in Europe and Asia.
