Radu Grosu
Associate Professor
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, NY 11794-4400, USA
Office: 1425 CS Building
Tel.: +1 (631) 632-9801
Fax: +1 (631) 632-8334
E-mail: grosu AT cs DOT sunysb DOT edu

 

Research

Model-based design and verification of embedded software systems;  Model checking, abstract interpretation, logic and automata theory, type theory;  Computational models in systems biology;  Applied formal methods, software and systems engineering.

Projects

  • CMACS, AF: Computational Modeling and Analysis for Complex Systems
 NSF CNS-Expeditions-09-26190
  • SSW: Survivable Software
 AFOSR FA-0550-09-1-0481
  • VeroModo: A Framework for Modeling and Analyzing Complex Distributed Systems
 AFOSR STTR AF-2004-023
  • EHAc: Model-Based Learning, Analysis and Control of Excitable Cells
 CEWIT seed Proposal
  • EHA: Efficient Modeling and Analysis of Excitable Cell Networks Using Hybrid Automata
 NSF CCF05-23863
  • HYCON: Runtime Monitoring and Model Checking for High-Confidence Systems Software
 NSF CSR-AES05-09230
  • MODES: Model Based Design and Verification of Embedded Systems
 NSF CAREER CCR01-33583
  • GMC: Stony Brook GCC OpenSource Software Model Checking Toolkit
 NSF CAREER CCR01-33583
  • MOCHA: Exploiting modularity in model checking
 NSF CAREER CCR01-33583
  • CHARON: Hierarchical Design and Analysis of Hybrid Systems
 NSF CAREER CCR01-33583
  • HERMES: Model Checking of Hierarchical State Machines
 NSF CAREER CCR01-33583
  • INTIME: Methodologically Founded Development of Real-Time Systems
 BMR Br887/12-1
  • DYDAN: Dynamic Dataflow Networks
 NATO HTECH.CRG97-2948
   

Teaching

 

Research Group

Current Professional Activities