저우차오첸
Zhou Chaochen저우차오첸 | |
|---|---|
| 周巢尘 | |
| 태어난 | 1937년 11월 1일 ( (84세) |
| 모교 | 북경대학교 중국과학원 |
| 로 알려져 있다. | 기간 미적분학 |
| 수상 | 중국과학원 학예사 |
| 과학 경력 | |
| 필드 | 컴퓨터 공학 |
| 기관 | 북경대학교 중국과학원 옥스퍼드 대학교 덴마크 공과대학교 국제 연합 대학교 |
| 영향 | 디네스 비외르너, 토니 호아레 |
| 영향받은 | 마이클 R. 한센, 안데르스 P. 라벤 |
저우차오첸(중국인: 周 1937 1937; 1937년 11월 1일 출생)은 중국의 컴퓨터 과학자다.[1]
저우는 중국 상하이 난후이에서 태어났다. 북경대학교 수학과(1954–1958) 학부, 중국과학원(CAS) 전산기술원 대학원(1963–1967)으로 공부했다.
그는 옥스퍼드 대학 컴퓨터 연구소(현재의 옥스퍼드 대학 컴퓨터 과학부)(1989–1992)를 방문하기 전까지 북경 대학과 CAS에서 일했다. 이 기간 동안, 그는 유럽 ESPRIT ProCoS 프로젝트의 일환으로 실시간 시스템의 간격 논리인 기간 미적분학의 수석 조사관을 맡았다.
1990-1992년과 1995-1996년 동안, 저우 차오첸은 덴마크 링비 공과대학 컴퓨터과학과 교수인 Dines Björner 교수의 초청으로 방문 중이었다. 그는 주임 연구위원(1992–1997년)을 지냈고, 은퇴할 때까지 마카오의 UNU-IIST 이사(1997–2002년)[2]를 지냈다.
2007년, UNU-IIST 초대 이사였던 저우와 데인스 비외너가 70번째 생일을 맞아 영예를 안았다.[3][4] 저우는 중국과학원 소속이다.[5]
책들
- 저우, 차오첸과 한센, 마이클 R, 지속 미적분: 실시간 시스템에 대한 공식적인 접근 방식. Springer-Verlag, An EATCS Series, 2003년 이론 컴퓨터 과학의 모노그래프. ISBN3-540-40823-1.
참조
- ^ "Zhou Chaochen 周巢尘". China Vitae. Retrieved April 9, 2012.
- ^ UNU 렉터는 1997년 저우 차오첸을 UNU/IIST, UNU-IIST, 마카오의 새 이사로 임명했다.
- ^ Jones, Cliff B., Liu, Zhiming, and Woodcock, Jim (eds.), Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, Springer, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Volume 4700, 2007. ISBN 978-3-540-752-2
- ^ "Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC". YouTube. 27 September 2007. Archived from the original on 2021-12-21. Retrieved April 9, 2012.
- ^ 중국과학원 정보기술과학부 소속 회원들이 2012-07-02를 회수했다.
