Кшиштоф Р. Апт
Кшиштоф Р. Апт (родился 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]
Изданные книги
[ редактировать ]- — (1997). От логического программирования к Прологу . Прентис Холл . ISBN 978-0-13-230368-2 . S2CID 46574027 .
- — (2003). Принципы программирования с ограничениями . Издательство Кембриджского университета . дои : 10.1017/CBO9780511615320 . ISBN 978-0-521-82583-2 . S2CID 5616873 .
- —; Уоллес, Марк (2007). Программирование логики ограничений с использованием Eclipse . Издательство Кембриджского университета . дои : 10.1017/CBO9780511607400 . ISBN 978-0-521-86628-6 . S2CID 2249540 .
- —; де Бур, Франк; Ольдерог, Эрнст-Рюдигер (2009). Верификация последовательных и параллельных программ (3-е изд.). Спрингер-Верлаг . дои : 10.1007/978-1-4757-4376-0 . ISBN 978-1848827448 . S2CID 9478945 .
- — (2023). Краткая история математики для любознательных умов . Всемирная научная . дои : 10.1142/13518 . ISBN 978-981-12-8044-3 . S2CID 259465497 .
Книги отредактированы
[ редактировать ]- -, ред. (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 . Раскрывает эволюцию логического программирования с момента его создания и впечатляюще широкий спектр текущих исследований в этой области.
- —; Гредель, Эрих, ред. (2011). Лекции по теории игр для компьютерщиков . Издательство Кембриджского университета . дои : 10.1017/CBO9780511973468 . ISBN 9780511973468 .
- —; Хоар, Тони , ред. (2022). Эдсгер Вайбе Дейкстра: его жизнь, работа и наследие . ACM , Нью-Йорк, штат Нью-Йорк. дои : 10.1145/3544585 . ISBN 9781450397735 . S2CID 250497032 . В ACM серии книг премии Тьюринга. о лауреатах
Ссылки
[ редактировать ]- ^ Кшиштоф Р. Апт в проекте «Математическая генеалогия»
- ^ «Заседание № 828. Протокол Попечительского совета системы Техасского университета» (PDF) . Попечительский совет системы Техасского университета. 13 августа 1987 г. с. 109 . Проверено 19 ноября 2022 г.
- ^ Перейти обратно: а б «Кшиштоф Р. Апт» . Academia Europaea — Европейская Академия . 2006 год . Проверено 15 октября 2022 г.
- ^ Различные должности Апта перечислены на его членской веб-странице Academia Europaea: [3]
- ^ «Кшиштоф Апт» . Центр математики и информатики CWI . Проверено 17 октября 2022 г.
- ^ «Кшиштоф Рафал Апт» . Варшавский университет, факультет математики, информатики и механики . 16 июня 2015 г. Проверено 17 октября 2022 г.
- ^ «Персонал ИЛЛК» . Университет Амстердама, Институт логики, языка и вычислений . Проверено 16 октября 2022 г.
- ^ —; Блэр, Ховард А.; Адриан, Уокер (1988). «Глава 2 – На пути к теории декларативного знания» . В Минкер, Джек (ред.). Основы дедуктивных баз данных и логического программирования . Издательство Морган Кауфманн . стр. 89–148. дои : 10.1016/B978-0-934613-40-8.50006-3 . ISBN 9780934613408 .
- ^ —; Ольдерог, Эрнст-Рюдигер (декабрь 2019 г.). «Пятьдесят лет логики Хоара» (PDF) . Формальные аспекты вычислений . 31 (6). Springer Verlag , Берлин, Гейдельберг: 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 . Проверено 9 ноября 2022 г.
- Страница сотрудников КРИ: «Кшиштоф Апт» . Центр математики и информатики CWI . Проверено 9 ноября 2022 г.
- Веб-страница польской науки: «Профессор доктор Кшиштоф Рафал Апт» . Новая польская наука . Проверено 9 ноября 2022 г.
- Гугл ученый: «Кшиштоф Р. Апт» . сайт ученого.google.nl . Проверено 9 ноября 2022 г.
- Исследовательские ворота: «Кшиштоф Р. Апт» . исследовательские ворота . Проверено 9 ноября 2022 г.
- Ссылка на Спрингер: «Кшиштоф Апт» . Спрингер Линк . Проверено 9 ноября 2022 г.
- Библиография dblp по информатике: «Кшиштоф Р. Апт» . dblp.uni-trier.de . Проверено 9 ноября 2022 г.
- архив: «Кшиштоф Р. Апт» . arxiv.org . Проверено 9 ноября 2022 г.