Radu Grosu |
 |
Back to Faculty Directory |
 Radu Grosu |
Research Professor Computer Science Department Stony Brook University Stony Brook, NY 11794-4400 Personal Web Page |
| Degree: | Ph.D. Computer Science - TU Munich Germany, 1995 |
| Research Topics: | Model-based design, analysis and control of complex dynamic systems; Model checking, abstract interpretation, logic and automata theory, control theory; Computational models in systems biology; Applied formal methods, software and systems engineering, UML. |
| Teaching Summary: | CSE 304, CSE 305, CSE 307, CSE 315, CSE 504, CSE 510, CSE 515, CSE 625, CSE 637, CSE 643, CSE 657 |