Krzysztof R. Apt

Científico 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, fundando una nueva revista) y abogando por el acceso abierto a la literatura científica.

Carrera académica

Apt ha ocupado varios puestos científicos en Polonia, Países Bajos , Francia , Estados Unidos (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 y Ciencias de la Computación) ^[5] en Ámsterdam y profesor afiliado en la Universidad de Varsovia . ^[6] Desde 2014 también es profesor emérito en la Universidad de Ámsterdam . ^[7]

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 . En particular, con coautores introdujo el concepto de estratificación en la programación lógica para proporcionar una forma de lidiar con la negación en 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 su inicio en 1969. ^[9]

Apt es miembro de la Academia Europaea ^[3] , que funciona 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 expresidente de la Association for Logic Programming (ALP) . Es uno de los tres iniciadores del Premio Witold Lipski para Jóvenes Investigadores en Ciencias de la Computación . ^[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 a Prolog . Prentice Hall . ISBN 978-0-13-230368-2.S2CID46574027  .​
• — (2003). Principios de programación con restricciones . Cambridge University Press . doi :10.1017/CBO9780511615320. ISBN 978-0-521-82583-2.S2CID5616873  .​
• —; Wallace, Marc (2007). Programación lógica de restricciones con Eclipse . Cambridge University Press . doi :10.1017/CBO9780511607400. ISBN 978-0-521-86628-6.S2CID2249540  .​
• —; de Boer, 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 . World Scientific . doi :10.1142/13518. ISBN. 978-981-12-8044-3.S2CID259465497  .​

Libros editados

• —, ed. (1989). Lógica y modelos de sistemas concurrentes . Springer Verlag , Berlín, Heidelberg. doi :10.1007/978-3-642-82453-1. ISBN 0387151818.S2CID21461231  .​

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

• —; Marek, VW; Truszczynski, M.; Warren, DS, eds. (1999). El paradigma de 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. Número de identificación del sujeto  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 el campo.

• —; Graedel, Erich, eds. (2011). Lecciones sobre teoría de juegos para científicos informáticos . Cambridge University Press . doi :10.1017/CBO9780511973468. ISBN 9780511973468.

• —; Hoare, Tony , eds. (2022). Edsger Wybe Dijkstra: Su vida, obra y legado . ACM , Nueva York, NY. doi :10.1145/3544585. ISBN 9781450397735. Número de identificación del sujeto  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 Matemática
2. "Reunión n.º 828. Actas de la Junta de Regentes del Sistema Universitario de Texas" (PDF) . Junta de Regentes, Sistema Universitario de Texas. 13 de agosto de 1987. pág. 109 . Consultado el 19 de noviembre de 2022 .
3. "Krzysztof R. Apt". Academia Europaea - La Academia de Europa . 2006 . Consultado el 15 de octubre de 2022 .
4. Los diversos cargos que ocupa Apt se enumeran en su página web como miembro de la Academia Europaea: ^[3]
5. "Apto Krzysztof". CWI Centrum Wiskunde & Informatica . Consultado el 17 de octubre de 2022 .
6. "Krzysztof Rafał Apt". 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 del ILLC". Universidad de Ámsterdam, Instituto de Lógica, Lenguaje y Computación . Consultado el 16 de octubre de 2022 .
8. —; Blair, Howard A.; Adrian, 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. Morgan Kaufmann Publishers . 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 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". ACM Transactions on Computational Logic . 6 (4): 673. doi :10.1145/1094622.1094623. S2CID  263875068.
12. "Premio Witold Lipski para Jóvenes Investigadores en Ciencias de la Computación" . Consultado el 7 de noviembre de 2022 .
13. — (2001). «Punto de vista: una revolución más por hacer: la 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 Computación (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 .
• Google Académico: "Krzysztof R. Apt". scholar.google.nl . Consultado el 9 de noviembre de 2022 .
• ResearchGate: "Krzysztof R. Apt". researchgate . Consultado el 9 de noviembre de 2022 .
• Enlace de Springer: "Krzysztof Apt". Enlace de 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. Apt". arxiv.org . Consultado el 9 de noviembre de 2022 .