Krzysztof R. Apt

informático polaco

Krzysztof R. Apt (nacido el 26 de diciembre de 1949 en Katowice, Polonia ) es un informático polaco. Defendió su doctorado en lógica matemática en Varsovia, Polonia, en 1974. ^[1] Sus intereses de investigación incluyen la corrección y semántica de programas , el uso de la lógica como lenguaje de programación , la computación distribuida y la teoría de juegos . Además de su propia investigación, ha estado muy involucrado en el servicio a la comunidad informática, en particular promoviendo el uso de la lógica en la informática (en particular mediante la fundación de una nueva revista) y defendiendo el acceso abierto a la literatura científica.

Carrera académica

Apt ha ocupado diversos cargos científicos en Polonia, los Países Bajos , Francia , los EE. UU. (Profesor William B. Blakemore II, Ciencias de la Computación, UT Austin , 1987-1990 ^[2] ) y Singapur (Profesor visitante, Ciencias de la Computación, NUS , 2002-2005). ^[4]

Apt es miembro del CWI (Instituto Nacional de Investigación en Matemáticas e Informática) ^[5] en Ámsterdam y profesor afiliado en la Universidad de Varsovia . ^[6] Desde 2014 también es Profesor Emérito de la Universidad de Ámsterdam . ^[7]

Sus intereses de investigación incluyen la corrección y la semántica de los programas , el uso de la lógica como lenguaje de programación , la computación distribuida y la teoría de juegos . En particular, con los coautores introdujo el concepto de estratificación en la programación lógica para proporcionar una forma de lidiar con la negación en los programas lógicos y de registro de datos . ^[8] Su estudio exhaustivo de la lógica de Hoare , escrito con Ernst-Rüdiger Olderog , resume la historia del tema desde sus inicios en 1969. ^[9]

Apt es miembro de la Academia Europaea , ^[3] que actúa como "una Academia paneuropea de Ciencias, Humanidades y Letras"; la membresía es solo por invitación y sigue un riguroso proceso de selección de revisión por pares. ^[10] Es el fundador y primer editor en jefe de ACM Transactions on Computational Logic ^[11] y ex presidente de la Association for Logic Programming (ALP) . Es uno de los tres iniciadores del Premio Witold Lipski para Jóvenes Investigadores en Informática . ^[12]

Apt ha sido durante mucho tiempo un defensor activo del acceso abierto y gratuito a las publicaciones científicas (por ejemplo, ^[13] ) y es miembro del Comité Asesor de la parte del repositorio arXiv conocida como Computing Research Repository (CoRR) ^[14].

Libros publicados

• — (1997). De la programación lógica al prólogo . Prentice Hall . ISBN 978-0-13-230368-2. S2CID  46574027.
• — (2003). Principios de programación de restricciones . Prensa de la Universidad de Cambridge . doi :10.1017/CBO9780511615320. ISBN 978-0-521-82583-2. S2CID  5616873.
• —; Wallace, Marc (2007). Programación de lógica de restricciones utilizando Eclipse . Prensa de la Universidad de Cambridge . doi :10.1017/CBO9780511607400. ISBN 978-0-521-86628-6. S2CID  2249540.
• —; de Bóer, Frank; Olderog, Ernst-Rüdiger (2009). Verificación de programas secuenciales y concurrentes (3ª ed.). Springer-Verlag . doi :10.1007/978-1-4757-4376-0. ISBN 978-1848827448. S2CID  9478945.
• — (2023). Una breve historia de las matemáticas para mentes curiosas . Científico mundial . doi :10.1142/13518. ISBN 978-981-12-8044-3. S2CID  259465497.

Libros editados

• —, editor. (1989). Lógicas y Modelos de Sistemas Concurrentes . Springer Verlag , Berlín, Heidelberg. doi :10.1007/978-3-642-82453-1. ISBN 0387151818. S2CID  21461231.

• —; de Bakker, JW; Rutten, JM, eds. (1993). Lenguajes de programación lógica: restricciones, funciones y objetos . Prensa del MIT , Cambridge, MA. ISBN 9780262511674. S2CID  60961390.Presenta los resultados de un esfuerzo de tres años financiado por ESPRIT para explorar la integración de las cuestiones fundamentales de la programación funcional, lógica y orientada a objetos.

• —; Marek, VW; Truszczynski, M.; Warren, DS, eds. (1999). El paradigma de la programación lógica: una perspectiva de 25 años . Inteligencia artificial. Springer Verlag . doi :10.1007/978-3-642-60085-2. ISBN 978-3-642-64249-4. S2CID  2807312.Revela la evolución de la programación lógica desde sus inicios y el alcance impresionantemente amplio de la investigación actual en este campo.

• —; Graedel, Erich, eds. (2011). Conferencias sobre teoría de juegos para informáticos . Prensa de la Universidad de Cambridge . doi :10.1017/CBO9780511973468. ISBN 9780511973468.

• —; Hoare, Tony , eds. (2022). Edsger Wybe Dijkstra: su vida, obra y legado . ACM , Nueva York, Nueva York. doi :10.1145/3544585. ISBN 9781450397735. S2CID  250497032.En la serie de libros de ACM sobre los ganadores del Premio Turing

Referencias

1. Krzysztof R. Apt en el Proyecto de genealogía de matemáticas
2. "Reunión No. 828. Acta de la Junta de Regentes del Sistema de la Universidad de Texas" (PDF) . Junta de Regentes, Sistema de la Universidad de Texas. 13 de agosto de 1987. p. 109 . Consultado el 19 de noviembre de 2022 .
3. "Krzysztof R. Apto". Academia Europaea - La Academia de Europa . 2006 . Consultado el 15 de octubre de 2022 .
4. Los diversos puestos de Apt se enumeran en su página web para miembros de la Academia Europaea: ^[3]
5. "Apto Krzysztof". CWI Centrum Wiskunde & Informatica . Consultado el 17 de octubre de 2022 .
6. "Apto Krzysztof Rafał". Universidad de Varsovia, Facultad de Matemáticas, Informática y Mecánica . 16 de junio de 2015 . Consultado el 17 de octubre de 2022 .
7. "Personal de ILLC". Universidad de Amsterdam, Instituto de Lógica, Lenguaje y Computación . Consultado el 16 de octubre de 2022 .
8. —; Blair, Howard A.; Adrián, Walker (1988). "Capítulo 2 - Hacia una teoría del conocimiento declarativo". En Minker, Jack (ed.). Fundamentos de Bases de Datos Deductivas y Programación Lógica. Editores Morgan Kaufmann . págs. 89-148. doi :10.1016/B978-0-934613-40-8.50006-3. ISBN 9780934613408.
9. —; Olderog, Ernst-Rüdiger (diciembre de 2019). "Cincuenta años de la lógica de Hoare" (PDF) . Aspectos formales de la informática . 31 (6). Springer Verlag , Berlín, Heidelberg: 751–807. doi : 10.1007/s00165-019-00501-3 . S2CID  102351597.
10. "Membresía". Academia Europaea - La Academia de Europa . Consultado el 7 de noviembre de 2022 .
11. - (octubre de 2005). "EDITORIAL". Transacciones ACM sobre lógica computacional . 6 (4): 673. doi :10.1145/1094622.1094623. S2CID  263875068.
12. "Premio Witold Lipski para jóvenes investigadores en informática" . Consultado el 7 de noviembre de 2022 .
13. - (2001). "Punto de vista: Una revolución más por hacer: publicación científica gratuita". Comunicaciones de la ACM . 44 (5): 25–28. doi :10.1145/374308.374325. S2CID  12485666.
14. Bienvenido al Repositorio de investigación en informática (CoRR), archivado desde el original el 4 de enero de 2022

enlaces externos

• Página de inicio del CWI: "Krzysztof R. Apt". CWI Centrum Wiskunde & Informatica . Consultado el 9 de noviembre de 2022 .
• Página del personal del CWI: "Krzysztof Apt". CWI Centrum Wiskunde & Informatica . Consultado el 9 de noviembre de 2022 .
• Página web de ciencias polacas: "prof. dr. Krzysztof Rafał Apt". Nowa Nauka Polonia . Consultado el 9 de noviembre de 2022 .
• Erudito de Google: "Krzysztof R. Apt". academic.google.nl . Consultado el 9 de noviembre de 2022 .
• Puerta de investigación: "Krzysztof R. Apt". puerta de la investigación . Consultado el 9 de noviembre de 2022 .
• Enlace Springer: "Krzysztof Apt". Enlace Springer . Consultado el 9 de noviembre de 2022 .
• Bibliografía informática de dblp: "Krzysztof R. Apt". dblp.uni-trier.de . Consultado el 9 de noviembre de 2022 .
• arxiv: "Krzysztof R. Apto". arxiv.org . Consultado el 9 de noviembre de 2022 .