슈무엘 사프라

슈무엘 사프라(Hebre: שמולללללפאא))))))))))))))는 이스라엘의 컴퓨터 과학자다.그는 이스라엘 텔아비브 대학의 컴퓨터 과학 교수다.그는 예루살렘에서 태어났다.

Safra의 연구 분야는 복잡성 이론과 오토마타 이론이다.복잡성 이론에서의 그의 저작에는 근사치 문제의 분류(근사치의 약한 요인에도 NP-강력함을 나타냄)와 확률적으로 체크 가능한 증명(PCP)과 클래스 NP의 더 강한 특성을 주는 PCP 정리(PCP)가 상수 n만 읽는 것을 검증할 수 있는 멤버십 증명을 통해 포함된다.그 조각의 뭉텅이

그의 오토마타 이론에 관한 연구는 무한 끈에 대한 유한 오토마타의 결정과 보완, 특히 부치 오토마타, 스트리트 오토마타, 라빈 오토마타에 대한 그러한 번역의 복잡성을 조사한다.

사프라는 2001년 논문 '상호작용 증명과 근사치 집단의 경도'와 '확률론적 증명 확인: NP의 새로운 특성화'로 괴델 이론 전산학상을 수상했다.

참고 항목

• 정점 커버 문제
• 커버 문제 설정

외부 링크

• 뮬리 사프라 홈페이지
• 계산 복잡성 이론 프레젠테이션
• 수학계보 프로젝트 슈무엘 사프라