| To update this page please go to myCSE |
Office: |
K17 501K
|
Phone: |
+61 2 9385 7369 (Internal: x57369)
|
Email: |
 |
Mail: |
School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia |
|
Research Topics: |
- Theory and Practice of Programming Languages
- Formal Methods for Program Reasoning and Verification
- Type Systems
- Language-Based Security
|
