라지프 알루르

Rajeev Alur
라지프 알루르

라지프 알루르는 펜실베이니아 대학교의 컴퓨터 과학 교수로, 특히 시간 자동자(Alur and Dill, 1994)와 내포된 단어(Alur and Madhusdan, 2004)를 도입하는 등 형식적인 방법, 프로그래밍 언어, 오토마타 이론에 공헌했다.

알루르 교수는 푸네에서 태어났다. 1987년 인도 칸푸르 공과대학에서 컴퓨터 공학 학사 학위를, 1991년 미국 캘리포니아 주 스탠포드 대학교에서 컴퓨터 공학 박사 학위를 받았다. 1997년 펜실베이니아 대학에 입학하기 전에는 벨 연구소의 컴퓨터 과학 연구 센터 소속이었다. 그의 연구는 반응형 시스템, 하이브리드 시스템, 모델 검사, 소프트웨어 검증, 임베디드 소프트웨어에 대한 설계 자동화, 프로그램 합성에 대한 공식적인 모델링 및 분석을 포함했다. ACM의 펠로,[1] IEEE의 펠로로서, ACM SIGBED(임베디드 시스템에 관한 특별 이익 그룹) 의장을 역임했다. 그는 2003년부터 UPenn에서 지스만 가족 교수의 칭호를 받고 있다.[2]

수상 및 수상

  • 미국 국립과학재단에서 수여하는 커리어상.[3]
  • (데이비드 딜과 함께) 실시간 시스템 검증 이론에 대한 근본적인 공헌에 대한 2008 컴퓨터 보조 검증상.[4]
  • 2010년 LICS (IEEE의 컴퓨터 과학 논리 심포지엄) 1990년 논문 "실시간 시스템을 위한 모델 검사"(David Dill 및 Costas Courcubetis 포함)의 시간 테스트 상.[5]
  • 2016년 데이비드 딜과 함께한 알론조 교회상은 "신기하고 우아하며 깊은 이론과 광범위한 실제적 영향을 결합한 실시간 시스템의 디커피블 모델인 타이밍 오토마타의 발명"이다.[6]

참조

  1. ^ "Rajeev Alur". ACM Fellows. ACM. 2007. Retrieved 23 January 2010. For contributions to the specification and verification of reactive and hybrid systems.
  2. ^ "Zisman Family Professor of CIS: Rajeev Alur". University of Pennsylvania Almanac. Almanac, Vol. 50, No. 12, November 11, 2003. Retrieved 16 October 2021.
  3. ^ "CAREER: Computer-Aided Verification of Reactive Systems". NSF Award Search, Award #9734115. National Science Foundation. Retrieved 16 October 2021.
  4. ^ "The 2008 CAV Award". CAV 2008: 20th International Conference on Computer Aided Verification. Princeton University. Retrieved 16 October 2021.
  5. ^ "LICS Test-of-Time award". For the pioneer work in the model checking of real-time systems.
  6. ^ "The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation". SIGLOG. ACM Special Interest Group on Logic and Computation. Retrieved 16 October 2021.

외부 링크


Stub icon

미국의 컴퓨터 전문가와 관련된 이 전기 기사는 단편적이다. 위키피디아를 확장하여 도울 수 있다.