Petra Malik's Homepage

Petra Malik
Department of Computer Science
School of Computing and Mathematical Sciences
The University of Waikato
Private Bag 3105
New Zealand

Room: FG 2.02

I work as a research fellow in the Computer Science Department of Waikato University, developing open-source Z tools proposed by the Community Z Tools (CZT) project. The aim of this project is to provide a basic core for Z tool integration, so that students and other interested parties can build their own tools on top of this framework.

CZT binaries

XML resources

XML and XML Schema


XML and Java



Supervisory Control Theory

Last modified: May 2007
P. Malik (