오르나 그룸버그
Orna Grumberg
오르나 그룸버그(Hebrew: ארנהה רהמ;;;; 1952년 4월 30일 하이파 근처 하데라에서 출생)는 이스라엘의 컴퓨터 과학자 겸 학술가인 테크니온의 Leumi 과학 석좌다.[1]
Grumberg는 하드웨어와 소프트웨어 설계를 공식적으로 검증하는 방법인 모델 검사를 개발하는 것으로 유명하다.[2]에드먼드 M. 클라크와 도론 A와 함께. 펠레드, 그녀는 모델 체킹(MIT Press, 1999)이라는 책의 저자다.[3][4]
2013년 교수Grumberg는 Europaea 학회에 선출되었다.[5]2015년에 그녀는 "하드웨어 및 소프트웨어 시스템의 자동화된 공식 검증에 대한 연구에 대한 기여"로 컴퓨터 기계 협회 회원으로 임명되었다.[6]
참조
- ^ 2013년 12월 7일 교직원 프로파일 테크니온이 검색했어
- ^ Microsoft Research 프로필 웨이백 머신에 2014-10-21 보관
- ^ Vladimir Zakharov(2001), Journal of Logic and Computing 11 (6): 962–964, doi:10.1093/logcom/11.6.962
- ^ 독일 디지털 도서 목록 및 도서관 프로젝트의 전체 출판 목록 2020-09-07을 검색했다.
- ^ Ziri, Danielle (October 3, 2013), "Seven Israeli Professors elected to Academia Europaea", Jerusalem Post.
- ^ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, archived from the original on 2015-12-09, retrieved 2015-12-09.
