Radu Grosu |
|
Back to Faculty Directory |
![]() Radu Grosu |
Information Systems Program Director Associate ProfessorComputer Science Department 1425 Computer Science Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-9801 Personal Web Page |
| Degree: | Ph.D. Computer Science - TU Munich Germany, 1995 |
| Research Topics: | Modeling and analysis of reactive, hybrid and object oriented systems, model checking, design automation for embedded systems, applied formal methods, software and systems engineering |
| Teaching Summary: | CSE 304, CSE 305, CSE 307, CSE 315, CSE 504, CSE 510, CSE 515, CSE 625, CSE 637, CSE 643, CSE 657 |

