Radu Grosu Assistant Professor Address Department of Computer Science Computer Science Building 1425 Stony Brook University Stony Brook, NY 11794-4400 Phone: (631) 632-9801          Fax: (631) 623-8334 E-mail: grosu@cs.sunysb.edu Education Ph.D. in Computer Science, TU Munich, Munich, Germany, 1994 M.S. in Computer Science,  TU Cluj, Cluj, Romania, 1986 B.S. in Computer Science,   TU Cluj, Cluj, Romania, 1984 Previous Appointments University of Pennsylvania, Philadelphia, USA Technical University Munich, Germany Electronic Computing Center Cluj, Romania Past and Present Research Interests Modeling and analysis of reactive - hybrid and object oriented systems Model checking - static analysis - logic and automata theory Support by Funding Agencies and Industry  National Science Foundation Reuters, USA Courses Taught CSE 635: Computer Aided Verification CSE 504: Advanced Compiler Design Honors and Awards 2001 National Science Foundation Faculty Early Career Development Award, USA Publications/Patents 9 Journal articles 25 Conference papers 13 Technical reports 1 Patent Research Facilities Design and Analysis Research Laboratory