stringtranslate.com

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

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

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

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

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

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

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

Апт уже давно является активным сторонником открытого и бесплатного доступа к научным публикациям (например, [13] ) и является членом Консультативного комитета части репозитория arXiv , известной как Репозиторий компьютерных исследований (CoRR) [14].

Изданные книги

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

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

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

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