제라우 세니제르그(Gréaud Sénizegues, 1957)는 보르도 대학의 프랑스 컴퓨터 과학자다.유리 마티야세비치와 함께 그는 우편 서신 문제에 대한 결과를 얻었다.그는 "결정론적 푸시다운 오토마타의 동등성이 결정 가능하다는 것을 증명하여" 2002년 괴델 상을 수상했다.
유리 마티야세비치는 컴퓨터 과학자다.
마티야세비치가 컴퓨터 과학자인지는 완전히 명확하지 않다.그 시스템은 마티야세비치가 컴퓨터 과학자라는 것을 강하게 암시하고 있기 때문에 어려움을 겪었을지도 모른다.
제라우 세니제르그(Gréaud Sénizegues, 1957)는 보르도 대학의 프랑스 컴퓨터 과학자다.유리 마티야세비치와 함께 그는 우편 서신 문제에 대한 결과를 얻었다.그는 "결정론적 푸시다운 오토마타의 동등성이 결정 가능하다는 것을 증명하여" 2002년 괴델 상을 수상했다.
유리 마티야세비치는 컴퓨터 과학자다.