Dr Avinash Malik

PhD, BE (Hons First class)


Avinash obtained his BE (Hons I) and PhD from the University of Auckland in 2010. He then worked as a post-doctoral fellow at INRIA Grenoble, the French Institute for Research in Computer Science and Automation. His work as a post-doctoral fellow continued at Trinity College Dublin, Ireland in the department of computer science and statistics, after which he then took a role as a research scientist at IBM Research. He joined the University of Auckland in May 2013.


Research | Current

  • Real-time/Embedded systems
  • Compiler construction
  • Programming language semantics
  • Logic for program verification
  • Formal methods application to bioengineering
  • Data mining and analysis
  • Non-linear control


Teaching | Current

COMPSYS723 - Embedded Systems Design

COMPSYS725 - Computer Networks

COMPSYS705 - Formal Methods for Engineers

Postgraduate supervision



Jin-Woo Ro, 2018-2020 -- Efficient traffic simulation engines using quantized state integration on super-dense time

PhD completed

Dr. Hee-Jong Park (co-supervisor), PhD. 2015, postdoc at NTU Singapore

Dr. Zhenmin Li (co-supervisor), PhD. 2016, Assistant Professor, Hefei University of Technology, China.

Jin-Woo Ro (co-supervisor), thesis submitted.

PhD candidates supervising

Main supervisor, Guiming Zhang -- Machine learning techniques for the inverse problem of electrocardiography

Main supervisor, Ke Ren -- Financial portfolio optimizations and machine learning for peer to peer lending systems

Main supervisor, Tommy Peng -- Cardiac device validation considering drug and disease effects on cardiac rhythm

Main supervisor, Surinder Sood -- Hardware synthesis, verification and optimization of hybrid systems

Main supervisor, Luman wang -- Modeling and predictive analytics for gastrointestinal tract

Master (ME Research) candidates supervising

Rakesh Vallabh -- Efficient embedded implementation of neural network architectures.

PhD Oppurtunity in 2019

Looking for a PhD student in machine learning for options/stock trading, (potentially) fully funded. Send me an email with your transcript & CV.


Jim and Hazel D Lord fellowship

INRIA Post-doctoral Fellowship

National Science Foundation, Ireland & IBM Post-doctoral Fellowship


  • Graduate Department Advisor (CSE)
  • Seminar Coordinator
  • Department representative, Faculty of Engineering Health and Safety Committee


Areas of expertise

  • Real-time/embedded systems
  • Compiler construction
  • Data mining and analysis
  • Formal verification applied to bioengineering and medical devices
  • Non-linear control

Publication list: http://dblp.uni-trier.de/pers/hd/m/Malik:Avinash

Committees/Professional groups/Services


IEEE Member

IEEE NZ North section, Computer Society chapter Chair' 2019.

Technical Program Commitee (TPC) member:

CASES'2020 (https://www.esweek.org/committees/program/cases/2020)

CASES'2019 (https://www.esweek.org/cases/about)

Euromicro DSD'2019 (http://dsd-seaa2019.csd.auth.gr/)

ICONS'2019 (http://www.iaria.org/conferences2019/ComICONS19.html)

RTSS'2018 (http://2018.rtss.org/)

CASES'2018 (https://esweek.org/cases/about)

Euromicro DSD'2018 (http://dsd-seaa2018.fit.cvut.cz/dsd/)

WSC'2018 (http://meetings2.informs.org/wordpress/wsc2018/)

Selected publications and creative works (Research Outputs)

As of 29 October 2020 there will be no automatic updating of 'selected publications and creative works' from Research Outputs. Please continue to keep your Research Outputs profile up to date.
  • Malik, A. (2020). Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion. NUMERICAL ALGORITHMS10.1007/s11075-020-00990-x
  • Wang, L., Malik, A., Roop, P. S., Cheng, L. K., Paskaranandavadivel, N., & Ai, W. (2020). Design of a closed-loop gastric pacemaker for modulating dysrhythmic conduction patterns via extracellular potentials.. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. 10.1109/EMBC44109.2020.9175500
    Other University of Auckland co-authors: Partha Roop, Nira Paskaranandavadivel, Weiwei Ai
  • Malik, A., & Roop, P. (2020). A dynamic Quantized State System execution framework for Hybrid Automata. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 3610.1016/j.nahs.2020.100870
    Other University of Auckland co-authors: Partha Roop
  • Wang, L., Malik, A., Roop, P. S., Cheng, L. K., Paskaranandavadivel, N., & Ai, W. (2020). A novel approach for model-based design of gastric pacemakers. Computers in biology and medicine, 11610.1016/j.compbiomed.2019.103576
    Other University of Auckland co-authors: Partha Roop, Leo Cheng, Nira Paskaranandavadivel, Weiwei Ai, Luman Wang
  • Sood, S., Malik, A., & Roop, P. (2020). Robust Design and Validation of Cyber-physical Systems. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 18 (6)10.1145/3362098
    Other University of Auckland co-authors: Partha Roop
  • Wang, L., Malik, A., Roop, P. S., Cheng, L. K., & Paskaranandavadivel, N. (2019). A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. IEEE transactions on bio-medical engineering, 66 (12), 3320-3329. 10.1109/tbme.2019.2904043
    Other University of Auckland co-authors: Nira Paskaranandavadivel, Partha Roop
  • Nadeem, M., Li, Z., Malik, A., Biglari-Abhari, M., & Salcic, Z. (2019). Allocation and scheduling of SystemJ programs on chip multiprocessors with weighted TDMA scheduling. JOURNAL OF SYSTEMS ARCHITECTURE, 98, 63-78. 10.1016/j.sysarc.2019.06.009
    Other University of Auckland co-authors: Morteza Biglari-Abhari, Zoran Salcic
  • Ai, W., Patel, N. D., Roop, P., Malik, A., & Trew, M. L. (2019). Cardiac Electrical Modeling for Closed-loop Validation of Implantable Devices. IEEE Transactions on Biomedical Engineering10.1109/TBME.2019.2917212
    Other University of Auckland co-authors: Weiwei Ai, Nitish Patel, Partha Roop, Mark Trew


Contact details

Primary office location

Level 2, Room 204
New Zealand

Web links