Radu Grosu
Professor

Vienna University of Technology
Department of Computer Engineering
Dependable Systems Group
Treitlstr. 3/3, 1040 Wien
Tel.: +43 1 58801-18210
Fax: +43 1 58801-18299
E-mail: radu.grosu@tuwien.ac.at

Research Professor
Department of Computer Science
State University of New York at Stony Brook
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 at TU Vienna

Teaching in Stony Brook

 

Research Group

Current Professional Activities