2007년도 튜링상 수상자
카네기 멜론 대학 컴퓨터 과학 교수인 에드문드 M. 클라크와 오스틴 주 텍사스 대학과 프랑스 그레노블 대학의 컴퓨터 과학자 두 명(각각 E. Allen Emerson와 Joseph Sifakis)이 컴퓨터 하드웨어와 소프트웨어의 설계 결함을…
2 Comments
February 11, 2008
카네기 멜론 대학 컴퓨터 과학 교수인 에드문드 M. 클라크와 오스틴 주 텍사스 대학과 프랑스 그레노블 대학의 컴퓨터 과학자 두 명(각각 E. Allen Emerson와 Joseph Sifakis)이 컴퓨터 하드웨어와 소프트웨어의 설계 결함을…