Йос Бэтен
Джозефус К.М. Баетен | |
|---|---|
| Рожденный | |
| Награды | Офицер ордена Оранж-Нассау |
| Академическое образование | |
| Альма-матер | Университет Миннесоты |
| Докторантура | Уэйн Джадж |
| Академическая работа | |
| Дисциплина | Информатика , математика |
| Учреждения | Технологический университет Эйндховена , Амстердамский университет , Центр математики и информатики |
Джозефус К.М. Баетен (родился 15 июня 1954 г.) — голландский ученый-компьютерщик и математик , опубликовавший публикации по исчислению процессов , теории параллелизма , формальным методам на основе моделей , разработке программного обеспечения , системной инженерии на основе моделей и теории вычислений . [ 1 ] [ 2 ]
Ранняя жизнь и образование
[ редактировать ]Йос Бэтен родился в Тилбурге . Он получил докторскую степень. из Университета Миннесоты в 1985 году по рекомендации Уэйна Рихтера. [ 3 ]
Карьера
[ редактировать ]Он был исследователем в Centrum Wiskunde & Informatica (CWI) и Амстердамском университете до 1991 года, когда он был назначен профессором Эйндховенского технологического университета . Там он был профессором кафедры математики и информатики с 1991 по 2015 год (в два периода был деканом кафедры), а также профессором кафедры машиностроения с 2010 по 2012 год. В 2011 году вернулся в КРИ. в качестве его директора, а в 2015 году вернулся в Амстердамский университет в качестве профессора теории вычислений в Институте логики, языка и вычислений. Он ушел с обеих должностей в 2020 году и тогда стал научным сотрудником CWI.
Баетен возглавлял руководящий комитет конференций CONCUR в 1991–2018 годах и был президентом ERCIM в 2018–2019 годах. [ 4 ] С 2010 года он является членом Королевского голландского общества естественных и гуманитарных наук . [ 5 ]
Во время 75-летия КРИ он получил королевскую награду — кавалер ордена Оранж-Нассау . [ 6 ]
Ссылки
[ редактировать ]- ^ «Йос Бэтен» . Google Академик . Проверено 06 октября 2022 г.
- ^ «Йос КМ Баетен» . ДБЛП . Проверено 6 октября 2022 г.
- ^ Йос Бэтен в проекте «Математическая генеалогия»
- ^ «Йос Баетен избран президентом ERCIM» . Центр Вискунде и информатики . Проверено 06 октября 2022 г.
- ^ [1] , Йос Бэтен, член Королевского голландского общества естественных и гуманитарных наук.
- ^ «Сотрудник CWI Йос Бэтен получает королевскую награду» . Центр Вискунде и информатики . Проверено 06 октября 2022 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
