Radu Grosu

Contact Info Assistant Professor,
Computer Science Department
1425 Computer Science
Stony Brook University
Stony Brook, NY 11794-4400
(631)632-9801
Email
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