Польский ученый-компьютерщик
Кшиштоф Р. Апт (родился 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].
Изданные книги
Книги отредактированы
- -, ред. (1989). Логика и модели параллельных систем . Springer Verlag , Берлин, Гейдельберг. дои : 10.1007/978-3-642-82453-1. ISBN 0387151818. S2CID 21461231.
- —; де Баккер, JW; Руттен, Дж. М., ред. (1993). Языки логического программирования: ограничения, функции и объекты . MIT Press , Кембридж, Массачусетс. ISBN 9780262511674. S2CID 60961390.Представлены результаты трехлетних усилий, финансируемых ESPRIT , по изучению интеграции фундаментальных проблем функционального, логического и объектно-ориентированного программирования.
- —; Марек, Фольксваген; Трушинский, М.; Уоррен, Д.С., ред. (1999). Парадигма логического программирования: перспектива на 25 лет . Искусственный интеллект. Спрингер Верлаг . дои : 10.1007/978-3-642-60085-2. ISBN 978-3-642-64249-4. S2CID 2807312.Раскрывает эволюцию логического программирования с момента его создания и впечатляюще широкий спектр текущих исследований в этой области.
Рекомендации
- ^ Кшиштоф Р. Апт в проекте «Математическая генеалогия»
- ^ «Заседание № 828. Протокол Попечительского совета системы Техасского университета» (PDF) . Попечительский совет системы Техасского университета. 13 августа 1987 г. с. 109 . Проверено 19 ноября 2022 г.
- ^ ab "Кшиштоф Р. Апт". Academia Europaea — Европейская Академия . 2006 год . Проверено 15 октября 2022 г.
- ^ Различные должности Апта перечислены на его членской веб-странице Европейской академии: [3]
- ^ "Кшиштоф Апт". CWI Centrum Wiskunde & Informatica . Проверено 17 октября 2022 г.
- ^ "Кшиштоф Рафал Апт" . Варшавский университет, факультет математики, информатики и механики . 16 июня 2015 г. Проверено 17 октября 2022 г.
- ^ "Сотрудники ILLC". Университет Амстердама, Институт логики, языка и вычислений . Проверено 16 октября 2022 г.
- ^ —; Блэр, Ховард А.; Адриан, Уокер (1988). «Глава 2 - На пути к теории декларативного знания». В Минкер, Джек (ред.). Основы дедуктивных баз данных и логического программирования. Издательство Морган Кауфманн . стр. 89–148. дои : 10.1016/B978-0-934613-40-8.50006-3. ISBN 9780934613408.
- ^ —; Ольдерог, Эрнст-Рюдигер (декабрь 2019 г.). «Пятьдесят лет логики Хоара» (PDF) . Формальные аспекты вычислений . Springer Verlag , Берлин, Гейдельберг. 31 (6): 751–807. дои : 10.1007/s00165-019-00501-3 . S2CID 102351597.
- ^ «Членство». Academia Europaea — Европейская Академия . Проверено 7 ноября 2022 г.
- ^ - (октябрь 2005 г.). «РЕДАКЦИЯ». Транзакции ACM в вычислительной логике . 6 (4): 673. дои : 10.1145/1094622.1094623. S2CID 263875068.
- ^ "Премия Витольда Липского для молодых исследователей в области компьютерных наук" . Проверено 7 ноября 2022 г.
- ^ — (2001). «Точка зрения: сделать еще одну революцию: бесплатные научные публикации». Коммуникации АКМ . 44 (5): 25–28. дои : 10.1145/374308.374325. S2CID 12485666.
- ^ Добро пожаловать в репозиторий компьютерных исследований (CoRR), заархивировано из оригинала 4 января 2022 г.
Внешние ссылки
- Домашняя страница CWI: «Кшиштоф Р. Апт». CWI Centrum Wiskunde & Informatica . Проверено 9 ноября 2022 г.
- Страница сотрудников КРИ: «Кшиштоф Апт». CWI Centrum Wiskunde & Informatica . Проверено 9 ноября 2022 г.
- Веб-страница польской науки: «проф. доктор Кшиштоф Рафал Апт». Новая Наука Польска . Проверено 9 ноября 2022 г.
- Ученый Google: «Кшиштоф Р. Апт». сайт ученого.google.nl . Проверено 9 ноября 2022 г.
- ResearchGate: «Кшиштоф Р. Апт». исследовательские ворота . Проверено 9 ноября 2022 г.
- Ссылка на Springer: «Кшиштоф Апт». Спрингер Линк . Проверено 9 ноября 2022 г.
- Библиография dblp по информатике: «Кшиштоф Р. Апт». dblp.uni-trier.de . Проверено 9 ноября 2022 г.
- arxiv: «Кшиштоф Р. Апт». arxiv.org . Проверено 9 ноября 2022 г.