Robi Malik

Senior Lecturer

That's me I joined the Department of Computer Science of the University of Waikato in February 2003.

I studied Computer Science at the University of Kaiserslautern in Germany, where I obtained my Ph.D. degree in 1998.

Before coming to New Zealand, I spent a couple of years working for Siemens Corporate Research in Munich, Germany, where I was involved in the research and software development for a modelling and verification tool for discrete event systems.

My main interest of research has been the analysis and synthesis of finite-state systems, and the development of efficient algorithms and tools for this purpose. I am particularly interested in compositional verification of the nonblocking property and compositional synthesis of discrete event systems. Recently, I have also been working on extended finite-state machine models for discrete event systems.


Address Robi Malik
Department of Software Engineering
The University of Waikato
Private Bag 3105
New Zealand
Office G 2.23
Phone+64 (0)7 838 4796
Fax+64 (0)7 858 5095


In 2021, I am teaching:

In previous years, I have been teaching:


Working Papers and Student Reports

Valid HTML 4.01! Robi Malik, Department of Computer Science, The University of Waikato; Address
Last modified: 19 April 2023