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 was 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 was Professor Ron van der Meyden, and my Cosupervisor was Dr. Gerwin Klein.

My Phd 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.

I was also 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.

Since 1 Feb 2009, I am a postdoc researcher in the Security and Trust of Software Systems (SaToSS) research group headed by Prof. Sjouke Mauw. My new homepage will be here

Tutoring in UNSW

Last updated 14 February 2009