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