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.
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:
Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems (2015): http://link.springer.com/book/10.1007%2F978-3-319-10521-5
Correct-by-Construction Approaches for SoC Design (2013): http://link.springer.com/book/10.1007/978-1-4614-7864-5
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)
- Frank Lehmann (PhD), Scalable simulation of intelligent transportation systems (ITS)
- Adeel Ali (PhD), Model driven approach for cloud services.
- Hugh Wang (PhD), Scalable static timing analysis of concurrent programs.
- Mahmood Hikmet (PhD), Fairness and timing issues in vehicular communication.
- Neha Sharma (PhD), Adaptive traffic control systems.
- Jin Ro (PhD), Functional safety issues in robotics.
- Hammond Pearce (PhD), Precision Timed Automation Architectures
- Nathan Allen (PhD), Modular Compilation for Human Organ Models.
- Weiwei Ai (PhD), Cardiac electrophysiology
- 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
- New Zealand review group, ISO Technical Committee 204
- Associate Editor, IEEE Embedded Systems Letters (http://ieee-ceda.org/publications/esl/editorial-board)
- Associate Editor, Elsevier MICPRO (until 2015)
- Associate Editor, Springer/EURASIP journal on embedded systems
- General Co-Chair, IEEE ISORC 2015 (http://www.isorc2015.org)
- Technical Program Committee Membership
- ACM EMSOFT (http://www.emsoft.org)
- IEEE RTAS (http://2015.rtas.org)
- IEEE ACSD (http://www.ulb.ac.be/di/verif/pn2015acsd2015/cfp.html)
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 Systems, 19 (2), 639-648. 10.1109/TITS.2017.2759273
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
- 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
- Sinha, R., Girault, A., Goessler, G., & Roop, P. S. (2014). A formal approach to incremental converter synthesis for system-on-chip design. ACM Transactions on Design Automation of Electronic Systems (TODAES), 20 (1)10.1145/2663344