Stony Brook University Logo Computer Science

Radu Grosu

Radu Grosu
Research Professor

Computer Science Department
Stony Brook University
Stony Brook, NY 11794-4400

radu.grosu [at]


Model-based Design, Analysis and Control of Complex Dynamic Systems, Model Checking, Abstract Interpretation, Logic and Automata Theory, Control Theory, Computational Methods in Systems Biology, Applied Formal Methods, Software and Systems Engineering, and UML.


Radu Grosu is a Professor and Head of the Dependable-Systems Group at the Faculty of Informatics of the Vienna University of Technology, and a Research Professor at the Computer Science Department of the State University of New York at Stony Brook. Grosu earned his Dr.rer.nat. in Computer Science from the Technical University of München, and was a Research Associate in the Computer Science Department of the University of Pennsylvania.


The primary focus of Radu Grosu's research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, embedded systems and biological systems. The main emphasis is on approaches that scale well for realistic applications. My most notable contributions are in: Establishing a noncommutative Cayley-Hamilton theorem for finite automata; Showing that minimal nondeterministic finite automata may be related via linear transformations; Automatically detecting emergent properties in networks of cardiac myocytes; Automatically learning an efficient model for excitable cells; Defining a model checking technique that allows to trade time and space for precision and confidence; Defining compositional models for discrete and hybrid hierarchic automata, together with modular proof rules and search routines; Providing compositional semantics and refinement rules for UML sequence diagrams, and their automatic translation to statecharts; Providing an algebraic foundation of UML-RT in terms of trace categories; Giving a denotational semantics for dynamically reconfigurable systems.


Radu Grosu is a recipient of the National Science Foundation Career Award, State University of New York Research Foundation Promising Inventor Award, and the ACM Service Award.

Teaching Summary

CSE 304, CSE 305, CSE 307, CSE 315, CSE 504, CSE 510, CSE 515, CSE 625, CSE 637, CSE 643, CSE 657