Radu Grosu

Radu Grosu is a full professor and head of the Institute of Computer Engineering at the Faculty of Informatics, Vienna University of Technology (TU Wien). He also serves as a research professor in the Department of Computer Science at the State University of New York at Stony Brook (USA). His leadership extends to directing the Cyber-Physical Systems research group at TU Wien and previously co-directing the Concurrent-Systems Laboratory and co-founding the Systems-Biology Laboratory at SUNY Stony Brook.

His research focuses on the modeling, analysis, and control of cyber-physical and biological systems. Key application domains include distributed automotive and avionic systems, Internet of Things (IoT), autonomous mobility, green operating systems, mobile ad-hoc networks, and biological networks such as cardiac, neural, and genetic regulatory systems. His methodological expertise lies in formal methods, hybrid systems, and compositional design.

The recent trend in his publications emphasizes formal frameworks for cyber-physical system design, verification of AI-based controllers, green computing, and modeling of biological systems using hybrid and stochastic models. His work bridges theoretical rigor with practical applications in safety-critical domains.

Scientific Awards:

• National Science Foundation Career Award
• State University of New York Research Foundation Promising Inventor Award
• Association for Computing Machinery Service Award

Advising and Grants: Radu Grosu has co-directed research laboratories and mentored students in concurrent and systems biology research. He has secured competitive funding, evidenced by the NSF CAREER Award and other institutional recognitions. His leadership in founding and directing labs indicates strong grant acquisition and team mentorship capabilities.

Labs and Research Groups: He leads the Cyber-Physical Systems group at TU Wien and previously co-directed the Concurrent-Systems Laboratory and co-founded the Systems-Biology Laboratory at SUNY Stony Brook, fostering interdisciplinary research in formal methods and biological computing.