Йост-Питер Катоен

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

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

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

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

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

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

В 2013 году Катоен стал стипендиатом Теодора фон Кармана и почетным профессором Рейнско-Вестфальского технического университета Ахена. Также в 2013 году он был избран членом Academia Europaea . ^[7] В 2017 году он получил почетную докторскую степень от Ольборгского университета . ^[8] В 2018 году Катоен был награжден высокооплачиваемым грантом ERC Advanced Grant . ^{[9] [10]} В 2020 году Катоен стал стипендиатом ACM , а в 2021 году был избран членом Королевского голландского общества науки и гуманитарных наук (KHMW). ^{[11] [12]} В 2022 году он был избран членом Академии наук, гуманитарных наук и искусств Северного Рейна-Вестфалии . ^[13]

Катоен является одним из основателей рабочей группы IFIP (WG) 1.8 по теории параллелизма и членом WG 2.2 по формальному описанию концепций программирования . С 2006 по 2010 год он работал в Колледже обзоров Британского совета по инженерным и физическим наукам (EPSRC) . В 2015–2019 годах он возглавлял Руководящий комитет Европейских совместных конференций по теории и практике программного обеспечения (ETAPS) . ^[14] С 2020 года он возглавляет Руководящий комитет конференции TACAS (Инструменты и алгоритмы для построения и анализа систем).

За его приверженность балансу между работой и личной жизнью, особенно для молодых аспирантов с детьми, в 2017 году он был награжден премией FAMOS от Рейнско-Вестфальского технического университета Ахена. ^[15]

Работа Катоена получила различные признания, среди которых награды за лучшую / выдающуюся работу (например, ETAPS 2016, IEEE SRDS 2017, LOPSTR 2020 и POPL 2021). В 2022 году он получил премию CONCUR test-of-time за свою работу CONCUR 1999, а в 2023 году премию Жана-Клода Лапри за надежные вычисления за свою работу 2003 года с Байером, Хаверкортом и Германсом о проверке моделей непрерывных цепей Маркова. ^{[16] [17]}

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

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