Dr Avinash Malik

PhD, BE (Hons First class)

Biography

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

 

Postdoc

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.

Distinctions/Honours

Jim and Hazel D Lord fellowship

INRIA Post-doctoral Fellowship

National Science Foundation, Ireland & IBM Post-doctoral Fellowship

Responsibilities

  • 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'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)

  • 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, 116.10.1016/j.compbiomed.2019.103576
    Other University of Auckland co-authors: Nira Paskaranandavadivel, Weiwei Ai
  • 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
  • Sood, S., Malik, A., & Roop, P. (2019). Robust design and validation of cyber-physical systems. ACM Transactions on Embedded Computing Systems, 18 (6).10.1145/3362098
  • Ren, K., & Malik, A. (2019). Recommendation engine for lower interest borrowing on peer to peer lending (P2PL) platform. Proceedings - 2019 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2019. 10.1145/3350546.3352528
  • Ro, J. W., Malik, A., & Roop, P. (2019). A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. 10.1145/3359986.3361198
    Other University of Auckland co-authors: Jin Woo Ro
  • 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
  • Peng, T., Trew, M. L., & Malik, A. (2019). Predictive modeling of drug effects on electrocardiograms. Computers in biology and medicine, 108, 332-344. 10.1016/j.compbiomed.2019.03.027
    Other University of Auckland co-authors: Mark Trew, Tommy Peng

Identifiers

Contact details

Primary office location

ENGINEERING BLOCK 1 - Bldg 401
20 SYMONDS ST
AUCKLAND CENTRAL
AUCKLAND 1010
New Zealand

Web links