stringtranslate.com

Кшиштоф Р. Апт

Кшиштоф Р. Апт (родился 26 декабря 1949 года в Катовице, Польша ) — польский учёный-компьютерщик. Он защитил докторскую диссертацию по математической логике в Варшаве, Польша, в 1974 году. [1] Его исследовательские интересы включают корректность и семантику программ , использование логики как языка программирования , распределённые вычисления и теорию игр . Помимо собственных исследований, он активно служил компьютерному сообществу, в частности, продвигая использование логики в компьютерной науке (в частности, основав новый журнал) и выступая за открытый доступ к научной литературе.

Академическая карьера

Апт занимал различные научные должности в Польше, Нидерландах , Франции , США (профессор Уильяма Б. Блейкмора II, компьютерные науки, Техасский университет в Остине , 1987–1990 [2] ) и Сингапуре (приглашенный профессор, компьютерные науки, Национальный университет Сингапура , 2002–2005). [4]

Апт является научным сотрудником CWI (Национального исследовательского института математики и компьютерных наук) [5] в Амстердаме и аффилированным профессором Варшавского университета . [6] С 2014 года он также является почетным профессором Амстердамского университета . [7]

Его исследовательские интересы включают в себя корректность и семантику программ , использование логики как языка программирования , распределенные вычисления и теорию игр . В частности, вместе с соавторами он ввел концепцию стратификации в логическом программировании, чтобы обеспечить способ работы с отрицанием в логических и Datalog программах. [8] Его всеобъемлющий обзор логики Хоара , написанный совместно с Эрнстом-Рюдигером Ольдерогом , суммирует историю предмета с момента его создания в 1969 году. [9]

Апт является членом Academia Europaea [3] , которая является «общеевропейской академией наук, гуманитарных наук и литературы»; членство возможно только по приглашению и после строгого отбора рецензий. [10] Он является основателем и первым главным редактором ACM Transactions on Computational Logic [11] и бывшим президентом Ассоциации логического программирования (ALP) . Он является одним из трех инициаторов премии Витольда Липски для молодых исследователей в области компьютерных наук [12] .

Apt уже давно является активным сторонником открытого и свободного доступа к научным публикациям (например, [13] ) и является членом Консультативного комитета части репозитория arXiv, известной как Computing Research Repository (CoRR) [14]

Книги опубликованы

Книги отредактированы

Ссылки

  1. ^ Кшиштоф Р. Апт в проекте «Генеалогия математики»
  2. ^ "Заседание № 828. Протоколы Совета регентов системы Техасского университета" (PDF) . Совет регентов системы Техасского университета. 13 августа 1987 г. стр. 109 . Получено 19 ноября 2022 г.
  3. ^ ab "Krzysztof R. Apt". Academia Europaea - Академия Европы . 2006. Получено 15 октября 2022 г.
  4. ^ Различные должности Апта перечислены на его странице члена Academia Europaea: [3]
  5. ^ "Кшиштоф Апт". CWI Centrum Wiskunde & Informatica . Проверено 17 октября 2022 г.
  6. ^ "Krzysztof Rafał Apt". Варшавский университет, факультет математики, информатики и механики . 16 июня 2015 г. Получено 17 октября 2022 г.
  7. ^ "ILLC Staff". Университет Амстердама, Институт логики, языка и вычислений . Получено 16 октября 2022 г.
  8. ^ —; Блэр, Ховард А.; Адриан, Уокер (1988). «Глава 2 — К теории декларативного знания». В Minker, Jack (ред.). Основы дедуктивных баз данных и логического программирования. Morgan Kaufmann Publishers . стр. 89–148. doi :10.1016/B978-0-934613-40-8.50006-3. ISBN 9780934613408.
  9. ^ —; Olderog, Ernst-Rüdiger (декабрь 2019 г.). «Пятьдесят лет логики Хоара» (PDF) . Формальные аспекты вычислений . 31 (6). Springer Verlag , Берлин, Гейдельберг: 751–807. doi : 10.1007/s00165-019-00501-3 . S2CID  102351597.
  10. ^ "Членство". Academia Europaea - Академия Европы . Получено 2022-11-07 .
  11. ^ — (октябрь 2005 г.). "РЕДАКЦИОННАЯ СТАТЬЯ". ACM Transactions on Computational Logic . 6 (4): 673. doi :10.1145/1094622.1094623. S2CID  263875068.
  12. ^ "Премия Витольда Липски для молодых исследователей в области компьютерных наук" . Получено 2022-11-07 .
  13. ^ — (2001). «Точка зрения: предстоит еще одна революция: свободная научная публикация». Сообщения ACM . 44 (5): 25–28. doi :10.1145/374308.374325. S2CID  12485666.
  14. ^ Добро пожаловать в Computing Research Repository (CoRR), архивировано из оригинала 4 января 2022 г.

Внешние ссылки