Radu Grosu
%first_name% %last_name% %function% %title% |
%photo% | |
%email_address% | ||
Phone | %office_phone_number% | |
Fax | %office_fax_number% | |
Address |
Vienna University of Technology %institute% %division% %office_address% |
Looking for a PhD?
The CPS Division has currently 5+ PhD positions available! If you are interested, please contact me at the above email.
- Two University-Assistants PhD Positions (UnivAss)
- Three Research-Assistants PhD Positions (PersoRad and Adaptness)
- Open position in the Doctoral College Resilient Embedded Systems (DCRES)
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.
- Online Publications
- Online Talks
- Position Statement
- Short Bio
- Curriculum Vitae
- Research Statement
- Teaching Statement
- Service Statement
- Citations Summary
Projects
Past 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
-
New Spring Course: Autonomous Racing Cars. See here and here.
- 182.727: Cyber-Physical Systems: Logical Foundations (195.054/195.055)
- 182.721: Cyber-Physical Systems: Stochastic Foundations
Teaching in Stony Brook
- CSE 304: Compiler Design, Fall 2005-2001
- CSE 305: Principles of Database Systems, Fall 2000
- CSE 307: Principles of Programming Languages, Spring 2002
- CSE 315: Database Transaction Processing Systems, Spring 2007, 2005
- CSE 350: Theory of Computation: Honors, Spring 2008
- CSE 504: Avanced Compiler Design, Spring 2011, 2007, 2004-2003
- CSE 510: Hybrid Systems, Spring 2011, 2009, 2006
- CSE 515: Database Transaction Processing Systems, Fall 2008, 2006-2005
- CSE 548: Analysis of Algorithms, Fall 2009
- CSE 549: Introduction to Computational Biology, Fall 2008
- CSE 625: Computer Aided Verification, Spring 2003, 2001
- CSE 637: Program Semantics and Verification, Fall 2004
- CSE 643: Seminar in Concurrency, Fall 2006, Spring 2002
- CSE 657: Desing and Analysis Research Seminar, Spring 2004, Fall 2002
Research Group
Current Professional Activities
- (Co)chair: CPSWeek'16, RV'15, HSCC'11, HSCB'09, Dagstuhl'06, SRV'06, VMCAI'03
- Program Committees: FORMATS'11, RV'11, NFM'11, HCMDSS/MDPnP'11, SEW'11, HSCC'11, FSEN'11, RV'10, FBTC'10, HSCC'09, HSCB'09, RV'09, FSEN'09, AMAST'08, FBTC'08, NETTAB'08, HSCC'08, FM'08, FBTC'07, HSCC'07, ICCP'07, FSEN'07, ACSD'06, SAC'06, ACSD'05, ACSD'04, VMCAI'04, CSD-UML'04, VMCAI'03, CSD-UML'03, AMAST'00, ISORC2K, UML'99, WDS'99

From smart clothing and driving assistants to smart grids: The digitalisation of all areas of life increasingly combines the real and virtual world in "Cyber-Physical Systems". How the growing armada of sensors and small computers should communicate is topic of a conference next week in Vienna with more than a thousand participants.

The Federal Ministry for Transport, Innovation and Technology (Bundesministerium für Verkehr, Innovation und Technologie) interviewed Radu Grosu about Cyber-Physical Systems as part of the CPS week.


"Der Standard" interviewed Radu Grosu for their article "Der Mensch im Netz der klugen Maschinen" covering CPS Week.
Computer engineering graduates are some of the top paid workers in the US, Brookings finds.


"Die Presse" interviewed Radu Grosu for the article "Bienen als Vorbild für intelligente Mikrochips" covering the CPS Week in Vienna.

Radu Grosu discusses Cyber-Physical Systems at the Technology Forum in Alpbach.


The spreading of information and communications technologies leads to "Cyber-Physical Systems", which effects all areas of everyday life.
Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.

Radu Grosu is the Keynote Speaker at the First International Conference on Formal Methods in Macro-Biology on September 22-24 in Nouméa, New Caledonia.

Radu Grosu together with Oded Maler and Dejan Nickovic will organize the 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, Vienna, Austria that will be held on April 11th 2016 during CPS Week 2016, Hofburg Palace, Vienna, Austria.

Radu Grosu discusses the challenges and immense opportunities of Cyber-Physical Systems in Austria in his Plenary talk at the Technology Forum in Alpbach.

Radu Grosu visits Beihang University in Beijing, to strengthen the cooperation of the Faculty of Informatics and of the TU Wien with China.