Dr Robi Malik

Senior Lecturer (Computer Science)

Qualifications: MSc PhD Kaiserslautern

Contact Details

Room: G.2.23
Phone: +64 7 838 4796
Extension: 4796

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

  • Mohajerani, S., Malik, R., Wintenberg, A., Lafortune, S., & Ozay, N. (2021). Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Automatica, 130, 109723. doi:10.1016/j.automatica.2021.109723

  • Malik, R., & Ware, S. (2020). On the computation of counterexamples in compositional nonblocking verification. Discrete Event Dynamic Systems: Theory and Applications, 30, 301-334. doi:10.1007/s10626-019-00305-w Open Access version:

  • Chew, C., Kumar, V., Patros, P., & Malik, R. (2020). ESCAPADE: Encryption-type-ransomeware: system call based pattern detection. In M. Kutylowski, J. Zhang, & C. Chen (Eds.), Proc 14th International Conference on Network and System Security (NSS 2020), LNCS 12570 (pp. 388-407). Virtual, Melbourne, Australia. doi:10.1007/978-3-030-65745-1_23 Open Access version:

  • Malik, R., & Teixeira, M. (2020). Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discrete Event Dynamic Systems: Theory and Applications, 30, 211-241. doi:10.1007/s10626-019-00302-z Open Access version:

Find more research publications by Robi Malik