Generate a tailored SOP for Dr. Alwen Tiu. Improve your application with a focused, well-structured draft.
Alwen Tiu obtained his PhD degree from Pennsylvania State University in 2004. He spent a year as a visiting student at Ecole Polytechnique in France during his PhD studies. Prior to joining the Australian National University (ANU) in 2006, he completed a one-year postdoctoral position at LORIA/INRIA Lorraine from 2004 to 2005. Tiu is currently an Associate Professor in the School of Computing at ANU, where he is actively involved in supervising research students. His research interests encompass both theoretical and practical aspects of computer science, focusing on formal methods, computational logic, automated theorem proving, and computer security. He is particularly interested in the modeling aspects of computational systems, including components such as operating systems, communication protocols, and authentication devices, as well as developing tools and techniques to prove correctness and identify potential flaws in these systems.
Australian National University • Acton
Duties include research student supervision and teaching.
Requirements are standardized across most Master of Science and Arts programs within the College of Science and College of Arts & Social Sciences.