Questions? AskAuckland

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:

Committees/Professional groups/Services


IEEE Member

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

Technical Program Commitee (TPC) member:

CASES'2020 (

CASES'2019 (

Euromicro DSD'2019 (

ICONS'2019 (

RTSS'2018 (

CASES'2018 (

Euromicro DSD'2018 (

WSC'2018 (

Selected publications and creative works (Research Outputs)


Contact details

Primary office location

Level 2, Room 204
New Zealand

Web links