Йост-Питер Катоэн - Joost-Pieter Katoen

Йост-Питер Катоэн
Йост-Питер Катоэн в Логический переулок, Оксфорд
Гражданство	нидерландский язык
Альма-матер	Университет Твенте (Кандидат наук.) Эйндховенский технологический университет (PDEng ) Университет Твенте (M.Sc.)
Награды	Расширенный грант ERC, награжден 2018 Почетный доктор, Ольборгский университет, награжден 2017 Член Academia Europaea, избран в 2013 г. Заслуженный профессор, RWTH Aachen University, награжден в 2013 г.
Научная карьера
Поля	Информатика Теория параллелизма Вероятностный Проверка модели Вероятностное программирование
Учреждения	RWTH Ахенский университет Университет Твенте Университет Эрлангена-Нюрнберга Philips Исследовательские лаборатории Эйндховенский технологический университет
Интернет сайт	www-i2.informatik.rwth-aachen.de/ ~ катоэн/

Йост-Питер Катоэн (родился 6 октября 1964 г.) нидерландский язык теоретик-информатик базируется в Германии. Он заслуженный профессор^[1] Кандидат компьютерных наук и руководитель группы моделирования и проверки программного обеспечения^[2] в RWTH Ахенский университет Кроме того, он по совместительству связан с группой формальных методов и инструментов Университет Твенте.^[3]

Образование

Катоен получил степень магистра с отличием в области компьютерных наук в Университете Твенте в 1987 году. В 1990 году он получил степень магистра. Профессиональная степень доктора технических наук от Эйндховенский технологический университет, а в 1996 году защитил кандидатскую диссертацию. в области компьютерных наук Университета Твенте.^[4]

Исследование

Основные исследовательские интересы Катоена: формальные методы, компьютерная проверка, особенно проверка модели, теория параллелизма, и семантика, в частности семантика вероятностные языки программирования.^[5] Его исследования в основном ориентированы на инструменты и приложения.

Вместе с Кристель Байер он написал и опубликовал книгу Принципы проверки модели.^[6]

Карьера

С 1997 по 1999 год Катоен работал докторантом в Университет Эрлангена-Нюрнберга В 1999 году он стал адъюнкт-профессором Университета Твенте, где до сих пор работает по совместительству.^[3]В 2004 году он был назначен профессором RWTH Aachen University.

В 2013 году Катоен стал научным сотрудником Теодора фон Кармана и заслуженным профессором RWTH Aachen University. Также в 2013 году он был избран членом Academia Europaea.^[7] В 2017 г. получил звание почетного доктора Ольборгский университет.^[8] В 2018 году Катоен был награжден высокооплачиваемой Расширенный грант ERC.^[9][10]

Катоен является одним из основателей Рабочая группа 1.8 IFIP по теории параллелизма и член РГ 2.2 Формальное описание концепций программирования. С 2006 по 2010 год работал в Review College of the British. Совет по исследованиям в области инженерных и физических наук (EPSRC). С 2015 года он является председателем Руководящего комитета Европейские совместные конференции по теории и практике программного обеспечения (ETAPS).^[11]

За его приверженность балансу между работой и личной жизнью, особенно для молодого доктора философии. студентов с детьми, в 2017 году он был удостоен премии FAMOS Prize от RWTH Aachen University.^[12]

Личная жизнь

Йост-Питер Катоэн родился в Кримпен ан ден Эйссел в 1964 году. Катоен женат, имеет троих сыновей. Он живет в Маастрихте. В свободное время он любит кататься на велосипеде и слушать музыку.

Смотрите также

• Домашняя страница Йост-Питера Катоена.
• Группа моделирования и верификации программного обеспечения.
• Список публикаций по информатике библиографический сайт DBLP.

Рекомендации

1. «Заслуженные профессора в RWTH Aachen University». Архивировано из оригинал на 2018-06-28. Получено 2018-02-28.
2. "move.rwth-aachen.de/people/katoen/". Получено 2018-02-28.
3. "FMT Group Twente". Архивировано из оригинал на 2018-03-05. Получено 2018-02-28.
4. Йост-Питер Катоэн на Проект "Математическая генеалогия"
5. "Биография Резюме" (PDF). Получено 2018-04-03.
6. Байер, Кристель; Катоен, Йост-Питер (2008). Принципы проверки модели. Кембридж, Массачусетс: MIT Press. ISBN  978-0-262-02649-9.
7. "Йост-Питер Катоен в Academia Europaea". Получено 2018-02-28.
8. "Пресс-релиз о почетной докторской степени для Йост-Питера Катоена". Получено 2018-02-28.
9. "Заявление RWTH Aachen для прессы". Получено 2018-05-06.
10. "Заявление для прессы Университета Твенте". Получено 2018-05-06.
11. «Руководящий комитет ETAPS». Получено 2018-02-28.
12. «Пресс-релиз RWTH о премии FAMOS 2017». Получено 2018-02-28.