조지프 시파키스

Joseph Sifakis
조지프 시파키스
Joseph Sifakis 2018.jpg
태어난1946년 12월 26일 (1946-12-26) (74세)
그리스 크레타 헤라클리온
시민권그리스-프랑스어
모교아테네 공과대학교
그레노블 대학교
로 알려져 있다.모델 체크 개발
수상아테네 공과대학교 그레노블 대학교
과학 경력
필드컴퓨터 공학
기관CNRS, 에콜 폴리테크니크 페데랄 드 로잔

조셉 시파키스(그리스어: ωωσφφφφφ)))))))는 그리스-프랑스 컴퓨터 과학자로 프랑스와 그리스 시민권을 가진 학문이다. 그는 에드먼드 M. 클라크, E와 함께 2007 튜링상을 받았다. 앨런 에머슨, 모델 검사 업무 담당.

전기

조셉 시파키스는 1946년 크레타 주의 헤라클리온에서 태어나 프랑스에서 살고 있다. 아테네 국립공과대학에서 전기공학을, 그르노블대학에서 컴퓨터과학을 프랑스인 장학금으로 공부했다. 1974년 그레노블 대학교에서 공학박사 학위를 받았고,[1] 1979년에는 주립 박사학위도 받았다.[2][3][4]

그는 현재 그르노블 근처의 VERIZE 연구소에서 국립 연구소의 에미리투스 연구 책임자로 있으며, 그 중 그가 설립자다.[5] 시파키스는 모델체크, 임베디드 시스템 분야에서 선도적인 역할을 해 왔다. 그는 1989년 그르노블에서 처음으로 조직된 CAV 회의인 에드먼드 M. 클라크와 아미르 페누엘리와 함께 설립했다. 그는 Embedded Systems[6](2004-2012) 연구를 위한 AISTER 유럽 네트워크 오브 Excellence의 코디네이터를 맡아왔다.

시파키스는 INRIA-Schneider가 수여하는 산업 의장(2008~2011년)을 맡아 EPFL의 컴퓨터통신과학부(2011~2016년)에서 교수 겸 »를[8] 역임했다. 칭화대 초빙교수(2011~2012년)를 지냈고, 현재 SUSTECH대 초빙교수로 재직 중이다.

시파키스는 그리스 국가연구기술협의회 회장(2014~2016년)을 맡아왔다.

일

시파키스는 시스템 검증과 시스템 설계에 대한 공식적인 방법의 적용에 힘썼다. 그의 주 박사학위에서는[3] 나중에 모델 체킹이라고 알려진 알고리즘 검증 방법의 원리를 연구했다. 1982년, 이 기술은 CSAR 검증 도구를 개발하기 위해 Jean-Pierre Keille의 박사학위에도 적용되었다.[9]

시파키스는 14년 동안 베리매진의 감독이었다. 초기에 CNRS와 베릴로그 SA사이의 혼합 산업 실험실로 설립된 VERIAGE는 에어버스 및 Schneider Electric과 협력하여 안전 중요 시스템, 특히 Lustre Language를 기반으로 하는 SCADE 동기 프로그래밍 환경의 개발을 위한 방법과 도구를 개발했다. 시파키스는 토마스 헨징거와[10][11] 함께 타이밍 및 하이브리드 시스템의 검증과 아미르 페누엘리, 오드 말러와[12] 타이밍 시스템 합성에 힘썼다. IF 툴셋, 크로노스, CADP, TGV 등 검증 툴 개발에 참여했으며 추상화 기법을 이용한 국가 폭발 대처 이론을 개발했다.

지난 20년간 BIP 컴포넌트 프레임워크를[13] 이용한 엄격한 컴포넌트 기반 설계와 최근에는 신뢰할 수 있는 자율 시스템, 특히 자율주행차 설계에 주력하고 있다.

전문가 인정, 수상 및 차별성

참조

  1. ^ Sifakis, Joseph (22 March 1974). Modèles temporels des systèmes logiques (phdthesis thesis) (in French). Université Joseph-Fourier - Grenoble I.
  2. ^ Sifakis, Joseph (25 June 1979). Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique (phdthesis thesis) (in French). Institut National Polytechnique de Grenoble - INPG ; Université Joseph-Fourier - Grenoble I.
  3. ^ a b 조셉 시파키스가 대학원생이었을 당시, 프랑스에는 교수직에 접근하기 위해 필요한 박사학위("국가 박사학위")의 두 단계가 있었다. 그것은 그 후 하빌리테이션으로 대체되었다.
  4. ^ :a b There were two science universities in Grenoble: the Université scientifique et médicale de Grenoble (USMG, Grenoble-1), which was later renamed to Joseph Fourier University, and the Grenoble Institute of Technology(INPG), later renamed to Grenoble-INP. VERIMAG is a joint laboratory of CNRS, Joseph Fourier University and Grenoble-INP.
  5. ^ "CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (in French)".
  6. ^ "ArtistDesign NoE - Strategic Management Board — Artist2 NoE". www.artist-embedded.org. Retrieved 28 September 2021.
  7. ^ "Une chaire Inria-Schneider" (in French). 18 September 2008. Cite 저널은 필요로 한다. journal= (도움말)
  8. ^ "News at EPFL".
  9. ^ Marniemi, J.; Parkki, M. G. (1 September 1975). "Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo". Biochemical Pharmacology. 24 (17): 1569–1572. doi:10.1016/0006-2952(75)90080-5. ISSN 0006-2952. PMID 9.
  10. ^ Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 February 1995). "The algorithmic analysis of hybrid systems". Theoretical Computer Science. Hybrid Systems. 138 (1): 3–34. doi:10.1016/0304-3975(94)00202-T. ISSN 0304-3975.
  11. ^ Henzinger, T. A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1 June 1994). "Symbolic Model Checking for Real-Time Systems". Information and Computation. 111 (2): 193–244. doi:10.1006/inco.1994.1045. ISSN 0890-5401.
  12. ^ Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995). Mayr, Ernst W.; Puech, Claude (eds.). "On the synthesis of discrete controllers for timed systems". STACS 95. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer: 229–242. doi:10.1007/3-540-59042-0_76. ISBN 978-3-540-49175-0.
  13. ^ Basu, A.; Bozga, M.; Sifakis, J. (September 2006). "Modeling Heterogeneous Real-time Components in BIP". Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06): 3–12. doi:10.1109/SEFM.2006.27.
  14. ^ "Joseph Sifakis". awards.acm.org. Retrieved 4 October 2021.
  15. ^ "Awards – SEFI". Retrieved 4 October 2021.
  16. ^ 2008년 5월 16일, 2008년 5월 17일, Journal official de la République Francaise에 발표.
  17. ^ 2011년 7월 13일, 2008년 7월 14일, Journal official de la République Francaise에 게재된 법령]

외부 링크