WikiDer > Чжоу Чаочен
Чжоу Чаочен | |
|---|---|
周 巢 尘 | |
| Родившийся | 1 ноября 1937 г. (возраст83) |
| Альма-матер | Пекинский университет Китайская Академия Наук |
| Известен | Расчет продолжительности |
| Награды | Академик из Китайская Академия Наук |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Пекинский университет Китайская Академия Наук Оксфордский университет Технический университет Дании Университет ООН |
| Влияния | Dines Bjørner, Тони Хоар |
| Под влиянием | Майкл Р. Хансен, Андерс П. Равн |
Чжоу Чаочен (Китайский: 周 巢 尘; родился 1 ноября 1937 г.) - китаец специалист в области информатики.[1]
Чжоу родился в Нанхуи, Шанхай, Китай. Он учился на бакалавриате на механико-математическом факультете, Пекинский университет (1954–1958) и в аспирантуре Институт вычислительных технологий Китайской академии наук (CAS) (1963–1967).
Он работал в Пекинском университете и CAS до своего визита в Вычислительная лаборатория Оксфордского университета (теперь Оксфордский университет, факультет компьютерных наук) (1989–1992). В это время он был главным следователем Расчет продолжительности, интервальная логика за в реальном времени системы как часть европейской ESPRIT ProCoS проект по доказуемо правильным системам.
В периоды 1990–1992 и 1995–1996 годов Чжоу Чаочэнь был приглашенным профессором на кафедре компьютерных наук, Технический университет Дании, Lyngbyпо приглашению Профессор Динес Бьёрнер. Он был главным научным сотрудником (1992–1997), а затем директором УООН-МИПО в Макао (1997–2002),[2] до выхода на пенсию, когда он вернулся в Пекин.
В 2007 году Чжоу и Динес Бьёрнер, первый директор УООН-МИПО, были отмечены по случаю их 70-летия.[3][4] Чжоу является членом Китайская Академия Наук.[5]
Книги
- Чжоу, Чаочен и Хансен, Майкл Р., Расчет продолжительности: формальный подход к системам реального времени. Springer-Verlag, Монографии по теоретической информатике. EATCS Серия, 2003. ISBN 3-540-40823-1.
Рекомендации
- ^ "Чжоу Чаочэнь 周 巢 尘". China Vitae. Получено 9 апреля, 2012.
- ^ Ректор УООН назначил Чжоу Чаочэня новым директором УООН / МИПО, УООН-МИПО, Макао, 1997.
- ^ Джонс, Клифф Б., Лю, Чжимин, и Вудкок, Джим (ред.), Формальные методы и гибридные системы реального времени: Очерки в честь Динес Бьорнер и Чжоу Чаочэнь по случаю 70-летия со дня рождения, Спрингер, Конспект лекций по информатике, Теоретическая информатика и общие вопросы, Том 4700, 2007. ISBN 978-3-540-75220-2.
- ^ «Майк Рид чествует Динеса Бьёрнера и Чжоу Чаочена в ICTAC». YouTube. 27 сентября 2007 г.. Получено 9 апреля, 2012.
- ^ Члены Китайской академии наук, Отдел информационных технических наук, получено 2 июля 2012.
