Petra Malik

Please Note

ALERT! This person can no longer be contacted through the School of Engineering and Computer Science at Victoria University of Wellington

Petra Malik profile picture

Research Interests

My research interests lie in the area of formal methods, especially in formal software specification, verification, and synthesis techniques.

I work on tool support for the specification language Z and on developing incremental model checking algorithms for discrete event systems.

Recently I became especially interested in refinement, theorem proving, verification of concurrent systems and Alloy.



For a list of my recent publications, please see the Publications Database.

Alternatively, consult my list of publications which has links to the articles.


I received a Masters degree in Computer Science from the University of Kaiserslautern, Germany, in 1999. After completing my Masters, I joined a research group at Siemens Corporate Research in Munich, Germany, as a PhD student. My thesis research investigated the issue of obtaining non-blocking implementations from discrete event models. From 2003 to 2007 I worked as a Research Assistant/Fellow at the University of Waikato in Hamilton, New Zealand. During this time, I contributed to the CZT project, which provides tool support for the specification language Z.

I joined Victoria University of Wellington as a lecturer in 2008.