The University of Queensland Homepage
UQ HomepageSearch UQFind all Contacts at UQStudy Options at UQEvents at UQUQ MapsUQ LibraryLink to my.UQ
School of ITEE ITEE Main Website
      





 Zheng Fu

 

 Group of Software Engineering

 School of Information Technology & Electrical Engineering                             

 University of Queensland, 4072

 Australia

 Email: zhengfu@itee.uq.edu.au

กก

Education

2005-2006  Master of Software Engineering, University of York, U.K.

2001-2005  Bachelor of Computer Science (first class honours), Griffith College Dublin, Ireland

Research Interests

Formal specification, Z, theorem proving, refinement, model checking 

Publications

3. Z. Fu and G. Smith. Towards More Flexible Development of Z Specifications. In IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pp. 281-288. IEEE Computer Society Press, 2008.

2. Leo Freitas, Zheng Fu, Jim Woodcock, "POSIX file store in Z/Eves: an experiment in the verified software repository," iceccs, pp. 3-14,  12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007),  2007

1. Master Thesis can be found here
© 2002-2012 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B

This is a personal web area hosted on a University of Queensland web server.
Please be advised that this web page is not officially endorsed by The University of Queensland.
The University accepts no responsibility or liability for the contents of this area.

Last Updated: 22 July, 2008, 12:53pm