Alwen Tiu

School of Computer Engineering
Nanyang Technological University
Nanyang Avenue, N4, #02c-84, Singapore 639798
Phone: +65 6790 6107, Fax: +65 6792 6559
Email: atiu AT ntu.edu.sg


I am an assistant professor at the School of Computer Engineering, Nanyang Technological University.

Phd Opportunities

I am looking for PhD students interested in doing research in formal methods for computer security, especially in formal verification of security protocols. Candidates with backgrounds in formal logic, discrete maths, and strong programming skills are preferred. Please email me for details and to express your interest. Please refer to NTU Graduate Admission website for details of NTU Graduate programs and admission procedures; check also details of scholarships available at NTU.

Research Interests

Publications

Teaching

Projects

Software

Professional Activities

Past professional activities