Helps students see the value in learning.
Professor Partha Roop serves as the Head of the Department of Electrical, Computer and Software Engineering in the Faculty of Engineering at the University of Auckland. He earned his PhD in Computer Science and Engineering from the University of New South Wales in Sydney, Australia, his M.Tech from the Indian Institute of Technology Kharagpur in India, and his B.E. from the College of Engineering Guindy, Anna University in Chennai, India. As a prominent researcher in embedded and real-time systems, Roop's work focuses on developing formal methods and languages for safety-critical cyber-physical systems. His leadership extends to heading the PRETzel research laboratory, which specializes in precision-timed embedded architectures.
Roop's research specializations encompass Industrial Informatics, Synchronous Languages, Intelligent Transportation Systems, Embedded Systems, and Real-Time Systems. Among his key publications are 'A synchronous approach for IEC 61499 function block implementation' (2009, 127 citations), 'SystemJ: A GALS language for system level design' (2010, 95 citations), 'Now that's smart!' (2007, 94 citations), 'Sequentially Constructive Concurrency—A conservative extension of the synchronous model of computation' (2014, 91 citations), 'Runtime enforcement of cyber-physical systems' (2017, 67 citations), 'Smart I/O modules for mitigating cyber-physical attacks on industrial control systems' (2019, 66 citations), 'The future of AI-driven software engineering' (2025, 64 citations), 'Tight WCRT analysis of synchronous C programs' (2009, 59 citations), 'A formal approach for modeling and simulation of human car-following behavior' (2017, 58 citations), and 'Automatch process and system for software development kit for application programming interface' (2017, 58 citations). These contributions have advanced the fields of synchronous programming and real-time analysis. Roop has been recognized as a Humboldt Research Fellow and serves as Co-Editor-in-Chief for ACM Books. He has also contributed to interdisciplinary projects including pandemic control modeling and cardiac electrogram simulations.