Welcome to Chenyi Zhang's Homepage

 Phone: +61 (2) 8306 0488
 Mobile: +61 422 157 107
 Fax: +61 (2) 8306 0405
 Office: Level 5 NICTA Kensington
 Email: czhang AT cse dot unsw dot edu dot au 		Postal address:
National ICT Australia
Locked Bag 6016
The University of New South Wales
Kensington NSW 1466 Australia
  

               

I am a PhD student in the School of Computer Science and Engineering (CSE), the University of New South Wales (UNSW), also a joint student in the Formal Methods Group (which is now part of the new Managing Complexity group), National ICT Australia.
My supervisor is Professor Ron van der Meyden, and my Cosupervisor is Dr. Gerwin Klein.

My current research topic is Computer Security, focusing on Noninterference Properties on the traditional automata models.
My another research interest is Probabilistic Process Algebra.

In 2004, I was involved in L4 verification pilot project held by ERTOS and FM Group at NICTA.

Now I am associated with Probabilistic Uncertainty Group (PUG) .

In 2007, I was a graduate intern in Sun Microsystems Labs, University of Queensland, Brisbane, working on Parfait , a static bug checking project. Here is our technical report on static taint analysis.

Tutoring

Last updated 24 July 2008