 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
Radu Grosu
| Contact Info |
Assistant Professor, Computer Science Department 1425 Computer Science Stony Brook University Stony Brook, NY 11794-4400 (631)632-9801 |
|
| 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 635, CSE 637, CSE 653, CSE 657 | |
| Detailed Information | http://www.cs.sunysb.edu/people/faculty/RaduGrosuAB.html | |
| Home Page | http://www.cs.sunysb.edu/~grosu | |
