피터 루카스(컴퓨터 과학자)
Peter Lucas (computer scientist)피터 루카스 | |
---|---|
태어난 | 오스트리아 빈 | 1935년 1월 13일
죽은 | 2015년 2월 2일( 캘리포니아, 미국 | (80세)
국적. | 오스트리아인 |
모교 | 빈 공과대학교 |
로 알려져 있다 | 공식 메서드, VDL(Vienna Definition Language) |
어워드 | IBM 우수 공헌상(1968년) |
과학 경력 | |
필드 | 컴퓨터 공학 |
기관 | |
논문 | Verbundkatalog: Zur Programmierung Electronischer Rechenmaschinen (1959) |
영향 | 하인즈 제마넥 |
영향받은 | 한스 베키치,[1] 커트 워크 |
피터 루카스(Peter Lucas, 1935년 1월 13일 오스트리아 빈 ~ 2015년 2월 2일 미국 캘리포니아[2])는 오스트리아의 컴퓨터 과학자, 대학교수이다.
인생
피터 루카스는 1953년에 졸업하고 빈 [2]공과대학에서 통신학을 공부했다.그는 1959년에 전자계산기 [3]프로그래밍에 관한 졸업 논문으로 학업을 마쳤다.그 후 Heinz Zemanek의 그룹의 멤버로 유럽 [2][4]대륙 최초의 완전 트랜지스터 컴퓨터인 Mailüfterl의 시스템 프로그래밍을 담당했습니다.
1961년, Mailüfterl Group과 함께 기술 대학에서 IBM 회사로 옮겨 IBM Laboratory Vienna에서 일하며 프로그래밍 언어의 공식적인 기술 작업을 수행했습니다.한스 베키치, Kurt Walk 및 Heinz Zemanek와 함께 VDM의 [6]중요한 부분인 VDL([5]Vienna Definition Language)을 사용하여 IBM 프로그래밍 언어 PL/I의 공식 정의를 담당했습니다.게다가 그는 한스 베키치와 함께 ALGOL 60용 컴파일러를 만들었습니다.이 기간 동안, 그는 비엔나 공과대학과 요하네스 케플러 대학 린츠에서 프로그래밍의 이론적 기초와 프로그래밍 언어의 공식적인 정의를 다루며 강의와 강의를 했다.
1978년 그는 미국 뉴욕 요크타운 하이츠의 토마스 J. 왓슨 연구 센터에 입사하여 실험적인 컴파일러 프로젝트를 담당했습니다.1979년, 그는 캘리포니아 새너제이(나중에 IBM Almaden Research Center)에 있는 IBM으로 이사했습니다.1988년, 그는 John Backus의 그룹에서 함수 프로그래밍 언어 [4]FL의 정의와 구현에 대해 연구했습니다.
1993년 10월 Graz Technology University의 소프트웨어 테크놀로지 전문교수로 임명되어 2001년 7월 명예직에서 물러났습니다.1994년부터는, FME(Formal Methods Europe)의 회장과 오스트리아 [7]과학 아카데미의 서신 회원을 역임했습니다.
피터 루카스는 2015년 2월 2일 80세의 나이로 사망했다.
어워드
- 1968년: PL/I의[7] 공식 사양에 대한 IBM 우수 기여상
- 1969년: 컴퓨터 기계 협회: ACM Best Paper (Kurt [7]Walk와 함께)
- 1987년 : 요하네스 케플러 대학교[2][7] 린츠 명예박사
레퍼런스
- ^ Jones, Cliff B. (1984). "Introduction" (PDF). Programming Languages and Their Definition – Hans Bekić (1936–1982). LNCS. Springer-Verlag. pp. vii–viii. Retrieved 5 January 2018.
- ^ a b c d 루카스, 피터 인 오스트리아-포르움(독일어) (전기)
- ^ Lucas, Peter (1959). "Verbundkatalog: Zur Programmierung Elektronischer Rechenmaschinen". Diplomarbeit (in German). Technical University of Vienna. AC00320349. Retrieved 5 January 2018.
- ^ a b OCG-Journal 1/2015: Nachruf Peter Lucas Journal der Osterreichichchen Computer Geselschaft(OCG), Ausgabe 1/2015는 2015년 9월 29일을 취득했다.
- ^ Bekić, H.; Bjørner, D.; Henhapl, W.; Jones, C. B.; Lucas, P. (10 June 2005). "A formal definition of a PL/I subset". Programming Languages and Their Definition. Lecture Notes in Computer Science. Springer-Verlag. 177: 107–155. doi:10.1007/BFb0048942. ISBN 3-540-13378-X.
- ^ Jones, Cliff B. (1990). Systematic Software Development using VDM (PDF) (2nd ed.). Prentice-Hall.
- ^ a b c d Aichernig, Bernhard K.; Fröhlich, Brigitte; Kerschbaumer, Andreas (2001). "Formal Aspects of Software Engineering (J.UCS Special Issue in Honor of Professor Peter Lucas)". Journal of Universal Computer Science. 7 (8). Retrieved 29 September 2015.