피에르 울퍼

Pierre Wolper
피에르 울퍼
국적벨기에 사람
로 알려져 있다.컴퓨터 공학

피에르 울퍼는 벨기에 리에제 대학의 컴퓨터 과학자다.그의 연구 관심사는 반응형 및 동시형 프로그램에 대한 검증 방법과 시간적 데이터베이스를 포함한다.[1]그는 유한한 오토마타를 가진 시간적 논리에 관한 연구로 모셰 Y. 바디와 함께 2000년 괴델상 공동 수상자다.[2]그는 또한 이 작품으로 2005년 파리 카넬라키스 상을 받았다.[3]

2018년 10월 선거에 이어 리에주 대학교의 렉터가 된다.[4]

참조

  1. ^ "Pierre Wolper". Retrieved 13 July 2015.
  2. ^ Vardi, Moshe Y.; Wolper, Pierre (1994), "Reasoning about infinite computations" (PDF), Information and Computation, Boston, MA: Academic Press, 115 (1): 1–37, doi:10.1006/inco.1994.1092, ISSN 0890-5401, archived from the original (PDF) on 2011-08-25
  3. ^ ACM honors creators of verification tools for software, hardware, ACM, 15 Mar 2006, retrieved 2012-12-12
  4. ^ 피에르 울페르 엘루 직장, 르에르, 르아벤지, 2018년 10월 11일

외부 링크


Flag of BelgiumScientist icon Stub icon

벨기에 과학자에 관한 이 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.