星空大象mv高清在线观看免费_九一制作天美果冻麻花_天美星空蘑菇mV_国产日韩欧美一区二区三乱码_中日欧美黄片

◆ 1964-1969，雅典國(guó)家技術(shù)大學(xué)，電子工程學(xué)士

◆ 1970-1972，法國(guó)格勒諾布爾大學(xué)， 計(jì)算機(jī)科學(xué)碩士

◆ 1973-1979，法國(guó)格勒諾布爾大學(xué)， 計(jì)算機(jī)科學(xué)博士

◆ 1974-2011, VERIMAG 實(shí)驗(yàn)室, 科研主任

◆ 2011-2016, 瑞士聯(lián)邦理工學(xué)院, 教授

◆ 2016-present, VERIMAG laboratory, 榮譽(yù)科研主任

◆ 圖靈獎(jiǎng)，2007年

◆ 法國(guó)科學(xué)院院士

◆ 法國(guó)國(guó)家工程院院士

◆ 歐洲學(xué)術(shù)委員會(huì)成員，美國(guó)藝術(shù)與科學(xué)學(xué)院成員

◆ 法國(guó)國(guó)家工程院院士

◆ 2009年 希臘議會(huì)和民主議會(huì)基金會(huì)獎(jiǎng)

◆ 2014-2016年 希臘科學(xué)技術(shù)委員會(huì)主席

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