아미르 프누엘리(Amir Pnueli, 1941년 4월 22일 ~ 2009년 11월 2일)는 이스라엘의 컴퓨터 과학자로, 1996년 튜링상 수상자이다. 그는 시간 논리(temporal logic)를 컴퓨터 과학에 도입하고 프로그램 및 시스템 검증 분야에 기여한 공로로 널리 알려져 있다.
프누엘리는 영국 팔레스타인 위임통치령(현재의 이스라엘)의 나할랄에서 태어났다. 그는 하이파의 테크니온(Israel Institute of Technology)에서 수학 학사 학위를 받았고, 바이츠만 과학 연구소(Weizmann Institute of Science)에서 응용수학 박사 학위를 취득했다(1967). 그의 박사 논문 주제는 "해양 조수 계산"이었다. 이후 스탠퍼드 대학교에서 박사후 연구원으로 재직하는 동안 컴퓨터 과학 분야로 전향했다.
그의 연구는 시간 논리와 모델 검사(model checking)에 중점을 두었으며, 특히 동시 시스템(concurrent systems)의 공정성(fairness) 특성 검증에 기여했다. 1977년 발표한 논문 "The Temporal Logic of Programs"은 동시적·반응적 시스템의 검증 및 인증 분야에서 중요한 전환점이 된 것으로 평가된다.
프누엘리는 이스라엘로 돌아와 텔아비브 대학교 컴퓨터 과학과의 설립자이자 초대 학과장을 역임했다. 1981년부터는 바이츠만 과학 연구소에서 컴퓨터 과학 교수로 재직했으며, 1999년부터 사망할 때까지 미국 뉴욕 대학교 컴퓨터 과학과에서도 교수로 활동했다. 또한 펜실베이니아 대학교와 조제프 푸리에 대학교에서 부교수로 재직한 이력이 있다. 그는 재직 기간 동안 두 개의 스타트업 기술 회사를 설립하기도 했다.
주요 수상 및 영예로는 1996년 튜링상(시간 논리를 컴퓨터 과학에 도입하고 프로그램 및 시스템 검증에 기여한 공로), 1997년 스웨덴 웁살라 대학교 명예 박사 학위, 1999년 미국 국립공학아카데미 외국인 회원 선출, 2000년 이스라엘 프라이즈(컴퓨터 과학 부문), 2007년 ACM 펠로우 선출 등이 있다.
프누엘리는 2009년 11월 2일 뇌출혈로 사망했다. 사망 당시 세 자녀와 네 명의 손주를 두고 있었다. 바이츠만 과학 연구소는 그의 명예를 기리기 위해 기념 강연 시리즈를 개최하고 있다.
