카네기 멜론 대학 컴퓨터 과학 교수인 에드문드 M. 클라크와 오스틴 주 텍사스 대학과 프랑스 그레노블 대학의 컴퓨터 과학자 두 명(각각 E. Allen Emerson와 Joseph Sifakis)이 컴퓨터 하드웨어와 소프트웨어의 설계 결함을 찾아내는 자동화된 방법을 고안한 선구적 업적을 평가 받아 2007년도 튜링 상의 수장자가 되었다.
Model Checking이라 불리는 이 방법은 복잡한 하드웨어와 소프트웨어 설계 안에서 오류를 찾아내고 진단하는 데 가장 널리 쓰이는 기법이다. 이 방법은 복잡한 컴퓨터 칩과 시스템 및 네트워크의 안정성을 개선하는 데 기여해왔다.
Author Details
Kubernetes, DevSecOps, AWS, 클라우드 보안, 클라우드 비용관리, SaaS 의 활용과 내재화 등 소프트웨어 개발 전반에 도움이 필요하다면 도움을 요청하세요. 지인이라면 가볍게 도와드리겠습니다. 전문적인 도움이 필요하다면 저의 현업에 방해가 되지 않는 선에서 협의가능합니다.
에드문드 M. 클라크, 이 분이 대단한 분이시구나..
작년에 저희학교 교수님 초청으로 오셨거든요…
우와… 사진이라도 같이 찍을 걸. ^^;;;
아쉽네요.
그렇군요. 그러고 보니 지난해 계절학기에 데이터베이스 분야에서 명성이 높은 교수님이 학교에 오셨는데, 주변 사람들은 잘 모르고 있더라구요. 학부생이라 그러려니 했는데, 이런 식으로 눈치 못채고 지나가는 일이 많은 것 같습니다. ^^