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 systems
  • Embedded systems
  • Compiler construction
  • Programming language semantics
  • Logic for program verification
  • Formal methods application to bioengineering

 

Teaching | Current

COMPSYS723 - Embedded Systems Design

COMPSYS725 - Computer Networks

COMPSYS705 - Formal Methods for Engineers

Postgraduate supervision

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.

PhD candidates supervising

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

Co-supervisor, Michael Orr

Co-supervisor, Jin-Woo Ro

Co-supervisor, Manish Tewary

Distinctions/Honours

Jim and Hazel D Lord fellowship

INRIA Post-doctoral Fellowship

National Science Foundation, Ireland & IBM Post-doctoral Fellowship

Responsibilities

  • Seminar Coordinator
  • Department representative, Faculty of Engineering Health and Safety Committee

 

Areas of expertise

  • Real-time/embedded systems
  • Compiler construction
  • Verification
  • Formal methods applied to bioengineering and medical devices

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

Committees/Professional groups/Services

IEEE Member

Technical Program Commitee (TPC) member:

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)

  • Ro, J. W., Roop, P. S., Malik, A., & Ranjitkar, P. (2018). A formal approach for modeling and simulation of human car-following behavior. IEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2017.2759273
    Other University of Auckland co-authors: Partha Roop, Prakash Ranjitkar
  • Malik, A., Walker, C., O'Sullivan M, & Sinnen, O. (2018). Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay. Computers and Operations Research, 89, 113-126. 10.1016/j.cor.2017.08.012
    Other University of Auckland co-authors: Michael O'Sullivan, Cameron Walker, Oliver Sinnen
  • Andalam, S., Allen, N., Malik, A., Roop, P., & Trew, M. (2017). A novel emulation model of the cardiac conduction system. ACM Transactions on Embedded Computing Systems (TECS), 16 (5s).10.1145/3126542
    Other University of Auckland co-authors: Partha Roop, Mark Trew
  • Malik, A., Roop, P., Andalam, S., Trew, M., & Mendler, M. (2017). Modular compilation of hybrid systems for emulation and large scale simulation. ACM Transactions on Embedded Computing Systems (TECS), 16 (5s).10.1145/3126536
    Other University of Auckland co-authors: Partha Roop, Mark Trew
  • Salcic, Z., Park, H., Teich, J., Malik, A., & Nadeem, M. (2017). Noc-HMP: A heterogeneous multicore processor for embedded systems designed in SystemJ. ACM Transactions on Design Automation of Electronic Systems (TODAES), 22 (4).10.1145/3073416
    Other University of Auckland co-authors: Zoran Salcic, Muhammad Nadeem
  • Harvey-Lees-Green, N., Biglari-Abhari, M., Malik, A., & Salcic, Z. (2017). A dynamic memory management unit for real time systems. Paper presented at 19th IEEE International Symposium on Real-Time Computing (ISORC-2017), Toronto, Canada. 16 May - 18 May 2017. Proceedings of the 19th IEEE International Symposium on Real-Time Computing (ISORC-2017). Related URL.
    Other University of Auckland co-authors: Morteza Biglari-Abhari, Zoran Salcic
  • Li, Z., Park, H., Malik, A., Wang, K. I.-K., Salcic, Z., Kuzmin, B., ... Teich, J. (2017). Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture. Journal of Systems Architecture, 74, 30-45. 10.1016/j.sysarc.2016.12.003
    Other University of Auckland co-authors: Kevin I-Kai Wang, Zoran Salcic
  • Pearce, H., Kuo, M., Allen, N., Roop, P., & Malik, A. (2017). Simulation of Cyber-physical systems using IEC61499. Paper presented at 15th ACM-IEEE Inter- national Conference on Formal Methods and Models for System Design (MEMOCODE), Vienna, Austria. 29 September - 2 October 2017.
    Other University of Auckland co-authors: Partha Roop, Hammond Pearce