人员

教师

Joseph SIFAKIS    杰出教授

电子邮箱:

joseph.sifakis_AT_univ-grenoble-alpes.fr

办公室:

南山智园A7栋10楼1012号

研究方向:

严谨系统设计,基于组件的构造 - BIP,验证 - 模型检查

教育背景

1964-1969,雅典国家技术大学,电子工程学士

1970-1972,法国格勒诺布尔大学, 计算机科学硕士

1973-1979,法国格勒诺布尔大学, 计算机科学博士

工作经历

◆ 1974-2011, VERIMAG 实验室, 科研主任

◆ 2011-2016, 瑞士联邦理工学院, 教授

 2016-present, VERIMAG laboratory, 荣誉科研主任


荣誉与奖项

◆ 图灵奖,2007年

◆ 法国科学院院士

◆ 法国国家工程院院士

◆ 欧洲学术委员会成员,美国艺术与科学学院成员

◆ 2009年 希腊议会和民主议会基金会奖

◆ 2014-2016年 希腊科学技术委员会主席


代表文章

1. J. Sifakis. System Design Automation: Challenges and Limitations, in Proceedings of the IEEE, vol. 103, num. 11, p. 2093-2103, 2015

2. J. Sifakis, S. Bensalem, S. Bliudze and M. Bozga. A Theory Agenda for Component-Based Design., Lecture Notes in Computer Science, 2015

3. J. Sifakis. Toward a System Design Science, Workshop From Programs to Systems - The Systems Perspective in Computing (FPS) held in Honor of Joseph Sifakis, Grenoble, Lecture Notes in Computer Science, 2014

4. J. Sifakis. Rigorous System Design, in Foundations and Trends® in Electronic Design Automation, vol. 6, num. 4, p. 293-362, 2012

5. J. Sifakis. A Vision for Computer Science - the System Perspective, Central European Journal of Computer Science, 1(1), 2011, 108-116

6. J. Sifakis. "A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification", Interview by Christian Calude, Bulletin of EATCS, June 2011

7. J.Sifakis. Technologies numériques : une révolution au quotidien Les Mardis de Descartes, Discours au Ministère de l'Enseignement Supérieur et de la Recherche, Paris, mardi 8 avril 2008

8. T.A. Henzinger and J. Sifakis. The Discipline of Embedded Systems Design, Computer, October 2007, pp. 32-40

9. T.A. Henzinger and J. Sifakis. The Embedded Systems Design Challenge, Invited Paper, FM 2006, pp. 1-15

10. The Artist Education Group. Guidelines for a Graduate Curriculum on Embedded Software and Systems, ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)

11. Médaille d'argent 2001, Département STIC, Discours de Joseph Sifakis, Paris, 13 décembre 2001 (PDF)

12. J.Sifakis. Formal Methods and their Evaluation,FEMSYS, Munich, April 1997

13. J.F.Monin and J. Sifakis. Eléments de classification des méthodes formelles Application des techniques formelles au logiciel, Observatoire Français des Techniques Avancées,Juin 1997, Masson Ed.

14. J.Sifakis. Research Directions for Concurrency, ACM workshop on Strategic Directions in Computing Research, June 1996

15. J.Sifakis. Research Directions for Formal Methods ,ACM workshop on Strategic Directions in Computing Research, June 1996


其他信息