Radu Grosu

Research Professor
Department of Computer Science
State University of New York at Stony Brook
Stony Brook, NY 11794-4400, USA
Office: 1426 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, analysis and control of complex dynamic systems;  Model checking, abstract interpretation, logic and automata theory, control theory;  Computational models in systems biology;  Applied formal methods, software and systems engineering, UML.


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