토니안 피타시

Toniann Pitassi
토니안 피타시
Pitassi2017 MFO21907.jpg
MFO 워크샵에서 Pitassi의 복잡성 입증 및 그 이상, 2017년
국적미국계, 캐나다인
모교토론토의 대학교
배우자리처드 제멜
과학 경력
필드수학
컴퓨터 사이언스
기관토론토의 대학교
박사학위 자문위원스티븐 쿡

토니안 피타시는 캐나다와 미국의 수학자 겸 컴퓨터 과학자로 계산 복잡성 이론을 전문으로 하고 있다.

학력

피츠버그 출신인 피타시는 펜실베이니아 주립대에서 학사 및 석사 학위를 취득한 뒤 토론토 대학교로 박사학위를 취득했으며, 1992년 스티븐 쿡의 감독으로 토론토에서 박사학위를 취득했다.캘리포니아대, 샌디에이고, 피츠버그대, 애리조나대 교수직에서 박사 후 공부를 한 뒤 2001년 토론토로 돌아와 지금은 토론토대 컴퓨터과학부, 토론토대 수학부 교수로 재직 중이다.[1][2]

그녀는 1998년 베를린에서 열린 국제수학자대회에서 초청 연사로 있었다.[3][4]그녀는 2012년 컴퓨터 이론 심포지엄의 프로그램 좌장을 맡았다.[5]2017년 9월부터 12월까지 고등교육원 초빙교수로 재직했다.[6]

리서치

피타시의 연구는 다양한 공식화된 증명 시스템 내에서 논리적인 명제의 수학적 증명 길이에 대한 상한을 추구하는 계산적 복잡성 이론의 한 분야인 증명 복잡성에 주로 초점을 맞추었다.이 연구의 목적은 검증 절차의 시간 복잡성과 서로 다른 증명 시스템의 상대적 강점을 이해하기 위해 이러한 한계를 사용하는 것이다.

그녀는 이 지역에서 만들었던 연구 기여는 cutting-plane 메서드에 대한pigeonhole principle,[7]지수 낮은 범위의 프레게 교정한 전제 조건이 울창한 무작위 3-satisfiability instances,[해결 증거를 얻기 위해서는 최대 클리크 problem,[8]지수 낮은 범위에서 파생된 지원에 기하 급수적 낮은 범위를 포함한다.9해결과 뉴Davis-를 사용하는 동일한 밀도 랜덤 인스턴스에 대한 bexponential 상한퍼트남 알고리즘.[10]Paul Beame과 함께, 그녀는 또한 입증 복잡성에 대한 설문조사를 썼다.[11]

인식

피타시는 2018년 '계산 및 입증 복잡성 분야의 연구와 교육에 대한 기여'[12]로 ACM 펠로우로 선출됐다.

피타시는 또한 "계산 복잡성에 대한 근본적이고 광범위한 기여"[13]로 2021년 EATCS(European Association for theory Computer Science)상을 수상하기도 했다.

선택한 게시물

참조

  1. ^ "Toniann Pitassi". University of Toronto. Retrieved 2017-12-31.
  2. ^ 수학계보 프로젝트 토니안 피타시
  3. ^ "ICM Plenary and Invited Speakers". International Mathematical Union. Retrieved 2017-12-31.
  4. ^ Pitassi, Toniann (1998). "Unsolvable systems of equations and proof complexity". Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III. pp. 451–458.
  5. ^ "STOC 2012 - 44th ACM Symposium on Theory of Computing". New York University, Computer Science Department. Retrieved 2017-12-31.
  6. ^ "Toniann Pitassi". Institute for Advanced Study. Retrieved 2017-12-31.
  7. ^ 피타시, 베임 & 임팔리아초(1993).
  8. ^ 보넷, 피타시 & 라즈(1997)
  9. ^ Beame & Pitassi(1996); Beame et al. (2002).
  10. ^ Beame 외 연구진(1998); Beame 외 연구진. (2002).
  11. ^ Beame & Pitassi(1998년).
  12. ^ 2018 ACM Fellows Honored for Pivotal Achievements that Underpin the Digital Age, Association for Computing Machinery, December 5, 2018
  13. ^ The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi, European Association for Theoretical Computer Science, June 4, 2021