덱스터 코젠
Dexter Kozen |
덱스터 캠벨 코젠은 미국의 이론 컴퓨터 과학자다. 그는 조지프 뉴턴 퓨 코넬 대학교 공학과 교수다. 1974년 다트머스 대학에서 B.A.를, 1977년 코넬 대학에서 컴퓨터 공학 박사 학위를 받았으며, 그곳에서 쥬리스 하트마니스로부터 조언을 받았다.[1] 그는 수많은 박사과정 학생들에게 충고했다.
구겐하임 펠로우인 [2]컴퓨터기계협회 펠로우로 IBM Corporation으로부터 우수혁신상을 받았다. 그는 또한 코넬의 컴퓨터 과학 학부생 협회에 의해 올해의 교수진으로 선정되었다.
덱스터 코젠은 네덜란드 라드부드 대학의 라드부드 엑셀런스 이니셔티브에서 교수직의 영예를 안은 최초의 교수 중 한 명이었다.[3]
그는 논리와 복잡성의 교차점에서 일하는 것으로 유명하다. 그는 동적 논리의[4] 아버지 중 한 사람으로 오늘날 가장 많이 사용되는 μ-미적분학의 버전을 개발했다.[5] 더구나 연산 이론,[6] 오토마타 이론, 동적 논리학, 알고리즘에 관한 교과서를 여러 권 썼다.
코젠은 밴드 '삼킬 경우 해롭다'의 기타리스트, 가수, 작곡가였다. 그는 또한 코넬 럭비 축구 클럽의[7] 교수 고문직을 맡고 있으며 코틀랜드 호머 썬더링 허드 럭비 팀에서 뛰고 있다.
참조
- ^ 수학 계보 프로젝트 덱스터 코젠
- ^ "Dexter Kozen – Award Winner". Association for Computing Machinery. Retrieved 31 October 2013.
- ^ "Professor Dexter Kozen". ru.nl. Retrieved 2015-03-17.[데드링크]
- ^ 데이비드 해럴, 덱스터 코젠, 그리고 저지 티우린, "다이내믹 로직". MIT 프레스, 2000.
- ^ 덱스터 코젠(1983년). "Proposal μ- Malculus에 대한 결과" 이론 컴퓨터 과학 27(3): 333–354.
- ^ 덱스터 코젠(2006년). 계산 이론. 스프링거. ISBN 1-84628-297-7
- ^ "Archived copy". Archived from the original on April 19, 2010. Retrieved October 7, 2010.
{{cite web}}: CS1 maint: 타이틀로 보관된 사본(링크)
