机构名称：
¥ 17.0
Verimag 创建于 1993 年，最初是与 Verilog 公司的混合工业单位，然后从 1997 年开始，作为与 CNRS 、约瑟夫·傅立叶大学（格勒诺布尔 1）和格勒诺布尔 INP 的联合 UMR。2006 年之前，Verimag 由 Joseph Sifakis 管理，此后由 Nicolas Halbwachs 管理。实验室进行的一般研究领域涉及嵌入式计算机系统的设计和验证，倾向于采用形式化方法。现有固定人员41人（教师研究员23人，研究员8人，工程师6人，行政人员4人），其中博士后、合同工10余人，博士生30余人。Verimag 位于约瑟夫·傅里叶大学 (Joseph Fourier University)，位于圣马丁德埃雷斯 (Saint-Martin d’Hères) 和吉埃雷斯 (Gi`eres) 大学校园边缘的两栋建筑内。
维里马格实验室
主要关键词
相关文件推荐
