Dr Partha Roop

PhD (UNSW Australia), M. Tech (IIT, Kharagpur) and BE (College of Engineering, Anna University)



Partha's research interests are in Digital Health, Formal Methods for Safety-Critical applications of AI and Machine Learning, and Real-Time Systems. Partha is working with colleagues from the Medical School and the Auckland Bioengineering Institute (ABI) on new techniques developed by his group known as organ on a chip. He is also interested in heart rate variability and Biofeedback.

Partha is an academic in the Department of Electrical and Computer Engineering at the University of Auckland. He is currently the Associate Dean (International) for the Faculty of Engineering.

He completed his PhD in Computer Science and Engineering at the University of New South Wales, Sydney, Australia, a M.Tech at Indian Institute of Technology in Kharagpur, India and a BE degree at Anna University (College of Engineering), Madras, India. Partha had visiting positions in Kiel University, Germany (collaboration with the Embedded Systems Group: http://www.informatik.uni-kiel.de/en/rtsys/, French National Laboratory of Informatics and Control (SPADES team Grenoble: https://team.inria.fr/spades/), and Iowa State University (http://www.ece.iastate.edu). He collaborates with University of California, Berkeley in the PRET project: http://chess.eecs.berkeley.edu/pret/

He heads the precision timed systems research group: http://homepages.engineering.auckland.ac.nz/~pretzel/. His group has created a tool-chin for the design of automation and embedded systems using the IEC61499 standard. The tool and associated benchmarks are available for download from: http://timeme.io 

Partha co-founded APIMatic, a cloud services company for automatic SDK generation using the model-driven approach. He has co-authored two research monographs:

Research | Current

My primary research interests are:

  • Real-Time Systems http://pretzel.ece.auckland.ac.nz/
  • Computer Engineering for Biological Systems (Bio-Emulation) http://pretzel.ece.auckland.ac.nz/bio
  • Formal Methods and Artificial Intelligence
  • Security of Cyber-Physical Systems (CPS)
  • Medical Devices
  • Heart Modelling and Pacemakers
  • Intelligent Transportation Systems
  • Software Engineering for web / cloud services
  • Industrial Automation


Teaching | Current

  • COMPSYS 202 - Object Oriented Design and Programming
  • COMPSYS 303 - Microcomputing for Embedded Systems
  • COMPSYS 705 - Formal Methods for Engineers
  • COMPSYS 302 - Software Design 2
  • COMPSYS 723 - Embedded Systems Design (until 2015)


Postgraduate supervision

Current students

  1. Frank Lehmann (PhD), Scalable simulation of intelligent transportation systems (ITS)
  2. Adeel Ali (PhD), Model driven approach for cloud services.
  3. Hugh Wang (PhD), Scalable static timing analysis of concurrent programs.
  4. Mahmood Hikmet (PhD), Fairness and timing issues in vehicular communication.
  5. Neha Sharma (PhD), Adaptive traffic control systems.
  6. Jin Ro (PhD), Functional safety issues in robotics.
  7. Hammond Pearce (PhD), Precision Timed Automation Architectures
  8. Nathan Allen (PhD), Modular Compilation for Human Organ Models.
  9. Weiwei Ai (PhD), Cardiac electrophysiology

​Past students

  • ​Dr  Roopak Sinha, Senior Lecturer (AUT)
  • Dr Li Hsien Yoong (Invenco)
  • Dr Gareth Shaw (Navman)
  • Dr Simon Yuan (Navico)
  • Dr Sidharta Andalam (TUM-CREATE, Singapore)
  • ​Dr Eugine Yip (Bamberg University Postdoc)
  • Dr. Matthew Kuo (Professional Teching Fellow, Auckland)
  • Dr. Zeeshan E Bhatti (CTO, BoardPro Limited)
  • 15 Master of Engineering thesis students



  • Alexander von Humboldt fellowship for experienced researchers 2009
  • French national laboratory for informatics and control (INRIA) visiting professor 2014
  • Mercator Fellowship, German Science Foundation (DFG), 2016


  • Research group leader, Bio-Remulation Group
  • Research group leader, Precision Timed Systems group

Areas of expertise

  • Embedded Systems
  • Real-Time Systems
  • Real-Time Organ Modelling and Medical Devices
  • Intelligent Transportation Systems
  • Industrial Automation


Committees/Professional groups/Services

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.
  • 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 Systems, 19 (2), 639-648. 10.1109/TITS.2017.2759273
    URL: http://hdl.handle.net/2292/42250
    Other University of Auckland co-authors: Avinash Malik, Prakash Ranjitkar
  • Malik, A., Roop, P. S., Allen, N., & Steger, T. (2018). Emulation of cyber-physical systems using IEC-61499. IEEE Transactions on Industrial Informatics, 14 (1), 380-389. 10.1109/TII.2017.2724206
    Other University of Auckland co-authors: Avinash Malik
  • Bhatti, Z. E., Roop, P. S., & Sinha, R. (2017). Unified functional safety assessment of industrial automation systems. IEEE Transactions on Industrial Informatics, 13 (1), 17-26. 10.1109/TII.2016.2610185
  • Sinha, R., Roop, P. S., Shaw, G., Salcic, Z., & Kuo, M. M. Y. (2016). Hierarchical and concurrent ECCS for IEC 61499 function blocks. IEEE Transactions on Industrial Informatics, 12 (1), 59-68. 10.1109/TII.2015.2496262
    Other University of Auckland co-authors: Zoran Salcic
  • Kuo, M. M. Y., & Roop, P. S. (2015). New Design Patterns for Time Predictable Execution of Function Blocks. Distributed Control Applications Guidelines, Design Patterns, and Application Examples with the IEC 61499 (pp. 69-91). CRC Press.
  • Zhao, Y. U., & Roop, P. S. (2015). Model-Driven Design of Cardiac Pacemaker Using IEC 61499 Function Blocks. In A. Zoitl, T. Strasser (Eds.) Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 (pp. 335-361). CRC Press.
  • Malik, A., Roop, P. S., Andalam, S., Yip, E., & Trew, M. (2015). A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). , abs/1510.04336. arxiv. Related URL.
    Other University of Auckland co-authors: Avinash Malik, Mark Trew
  • Yoong, L. H., Roop, P. S., Bhatti, Z. E., & Kuo, M. M. Y. (2015). Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems. Springer. 10.1007/978-3-319-10521-5

Contact details

Primary office location

Level 6, Room 651
New Zealand

Web links