拉杜·格罗苏

拉杜·格罗苏
校长大学教授-Ing.Dr.rer.nat公司。
电子邮件
电话 +43 1 58801 - 18210
传真 +43 1 58801 - 182 99
地址



 维也纳科技大学
计算机工程研究所
网络物理系统
奥地利维恩1040号Treitlastase 3号3楼

寻找博士学位？

CPS部门目前有1个博士职位可用！如果你有兴趣，请通过上述电子邮件与我联系。

  • （公开）一个大学助理博士职位（UnivAss）
  • （给定）NLP的一个研究助理博士职位。
  • （已授予）H2020大学助理博士职位
  • ENROL博士学院（申请地点：登记，项目5）
  • （给定）两个大学助理博士职位(UnivAss大学)

研究

基于模型的复杂动态系统设计、分析和控制；模型检验、抽象解释、逻辑与自动机理论、控制理论；系统生物学中的计算模型；应用形式化方法、软件和系统工程、UML。

项目

查看CPS集团的项目

过去的项目

CMACS公司,传真：复杂系统的计算建模与分析 NSF CNS考察-09-26190
SSW：生存软件 AFOSR FA-0550-09-1-0481
VeroModo版本：复杂分布式系统建模与分析框架 AFOSR STTR AF-2004-023型
裕利安怡（EHAc）：基于模型的兴奋细胞的学习、分析和控制 CEWIT种子提案
环境影响评价：基于混合自动机的可激励细胞网络高效建模与分析 国家科学基金会CCF05-23863
HYCON：高可信度系统软件的运行时监控和模型检查 美国国家科学基金会CSR-AES05-09230
MODES：基于模型的嵌入式系统设计与验证 NSF职业CCR01-33583
通用汽车公司：Stony Brook GCC开放源代码软件模型检查工具包 NSF职业CCR01-33583
摩卡：在模型检查中利用模块性 NSF职业CCR01-33583
查龙：混合系统的层次设计与分析 NSF职业CCR01-33583
HERMES：层次状态机的模型检查 NSF职业CCR01-33583
简介：基于方法论的实时系统开发 BMR Br887/12-1号机组
动态数据流网络 北约HTECH。CRG97-2948号机组

在维也纳大学任教

在石溪教学

研究小组

当前专业活动