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., & Teixeira, M. (2016). An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines: Working Paper Series (01/2016). Department of Computer Science, The University of Waikato. Open Access version: hdl:10289/9841

  • Mohajerani, S., Malik, R., & Fabian, M. (2016). Compositional supervisor synthesis with state merging and transition removal: Working Paper Series (02/2016). Department of Computer Science, The University of Waikato. Open Access version: hdl:10289/9889

  • Malik, R., & Teixeira, M. (2016). Modular supervisor synthesis for extended finite-state machines subject to controllability. In Proc 13th International Workshop on Discrete Event Systems (pp. 91-96). Xi'an China: IEEE. doi:10.1109/WODES.2016.7497831 Open Access version: hdl:10289/10834

  • Malik, R. (2016). Programming a fast explicit conflict checker. In Proc 13th International Workshop on Discrete Event Systems (pp. 438-443). Xi'an China: IEEE. doi:10.1109/WODES.2016.7497885 Open Access version: hdl:10289/10503

Find more research publications by Robi Malik