Breadcrumbs

Dr Robi Malik

Senior Lecturer (Computer Science)

Qualifications: MSc PhD Kaiserslautern

Contact Details

Room: G.2.23
Phone: +64 7 838 4796
Extension: 4796
Fax: +64 7 858 5095
Website: http://www.cs.waikato.ac.nz/~robi/

About Robi

I joined the Department of Computer Science of the University of Waikato in February 2003, where I stayed as a Visiting Lecturer for the year 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.

Research Interests

Control software, discrete event systems, model checking.

Recent Publications

  • Malik, R. (2018). The explicit conflict check algorithm implemented in the Waters library: Working Paper Series (01/2018). Department of Computer Science, The University of Waikato. Open Access version: https://hdl.handle.net/10289/12069

  • Malik, R., & Ware, S. (2018). Counterexample computation in compositional nonblocking verification. In F. Basile, C. Hadjicostis, J. Komenda, & G. De Tommasi (Eds.), Preprints: 14th Workshop on Discrete Event Systems (WODES 2018) (pp. 427-432). Sorrento Coast, Italy.

  • Rosa, M., Teixeira, M., & Malik, R. (2018). Exploiting approximations in supervisory control with distinguishers. In F. Basile, C. Hadjicostis, J. Komenda, & G. De Tommasi (Eds.), Preprints: 14th Workshop on Discrete Event Systems (WODES 2018) (pp. 24-29). Sorrento Coast, Italy.

  • Malik, R., & Pena, P. N. (2018). Optimal task scheduling in a flexible manufacturing system using model checking. In F. Basile, C. Hadjicostis, J. Komenda, & G. De Tommasi (Eds.), Preprints: 14 Workshop on Discrete Event Systems (WODES 2018) (pp. 241-246). Sorrento Coast, Italy.

Find more research publications by Robi Malik