Valentín Goranko

Valentin Feodorov Goranko (nacido el 22 de septiembre de 1959 en Sofía , Bulgaria ) es un lógico búlgaro-sueco , profesor de Lógica y Filosofía Teórica en el Departamento de Filosofía de la Universidad de Estocolmo . ^{[ 1 ]} Actualmente, es presidente de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología (DLMPST) de la Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología, dependiente del Consejo Internacional de la Ciencia (ISC).

Educación y trayectoria académica

Goranko estudió matemáticas (Máster en Ciencias, 1984) y obtuvo un doctorado en Lógica Matemática en la Facultad de Matemáticas e Informática de la Universidad de Sofía "San Clemente de Ohrid" en 1988. Antes de incorporarse a la Universidad de Estocolmo en 2014, ocupó diversos cargos académicos en universidades de Bulgaria (hasta 1992), Sudáfrica (1992-2009), Dinamarca (2009-2014) y Suecia (desde 2014), y ha impartido una amplia variedad de cursos de Matemáticas, Informática y Lógica.

Campos de investigación

Goranko tiene un amplio abanico de intereses de investigación en la teoría y las aplicaciones de la lógica a la inteligencia artificial , los sistemas multiagente , la filosofía , la informática y la teoría de juegos , donde ha publicado 4 libros y más de 140 artículos de investigación y capítulos en manuales y otras colecciones de investigación.

Servicio profesional

Presidente (2024–2027) de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología (DLMPST) ^{[ 2 ]} de la Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología (IUHPST) ^{[ 3 ]}
Presidente (desde 2018) de la Sociedad Escandinava de Lógica ^{[ 4 ]}
Expresidente (2016-2020) de la Asociación de Lógica, Lenguaje e Información (FoLLI).
Editor en jefe (Lógica) de la serie de publicaciones FoLLI sobre lógica, lenguaje e información, una subserie de Springer LNCS. ^{[ 5 ]}
Miembro ejecutivo de la Junta Directiva de la Asociación Europea de Lógica en Ciencias de la Computación EACSL ^{[ 6 ]}
Editora en jefe de la revista Logics
Editor asociado de ACM Transactions on Computational Logic y miembro de los consejos editoriales de varias otras revistas científicas.

Libros publicados

2015 Lógica y Matemáticas Discretas: Una Introducción Concisa ^{[ 7 ]}
2016 Lógicas temporales en informática ^{[ 8 ]}
2016 La lógica como herramienta: una guía para el razonamiento lógico formal ^{[ 9 ]}
2023 Lógicas temporales ^{[ 10 ]}

Referencias

↑ Goranko, Valentín Universidad de Estocolmo
↑ "Consejo DLMPST 2024-2027" . Consultado el 16 de septiembre de 2023 .
↑ "IUHPST - Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología" . Consultado el 16 de septiembre de 2023 .
↑ SLS, Comité Ejecutivo. "Sociedad de Lógica Escandinava" . Consultado el 1 de noviembre de 2020 .
↑ "Publicaciones de FoLLI sobre lógica, lenguaje e información" . Springer . Consultado el 1 de noviembre de 2020 .
↑ Miembros ejecutivos, Asociación Europea de Lógica en Ciencias de la Computación. "Organización EACSL" . Consultado el 1 de noviembre de 2020 .
↑ Conradie, Willem, Valentin Goranko (2015). Lógica y matemáticas discretas: una introducción concisa . Wiley . ISBN 978-1-118-75127-5.
↑ Demri, Stéphane, Valentin Goranko, Martin Lange (2016). Lógicas temporales en informática: sistemas de estados finitos . Cambridge University Press . ISBN 978-1-107-02836-4.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
↑ Goranko, Valentin (2016). La lógica como herramienta: una guía para el razonamiento lógico formal . Wiley . ISBN 978-1-118-88000-5.
↑ Goranko, Valentin (2023). Lógicas temporales . Elementos de filosofía y lógica. Cambridge University Press. ISBN 9781009170093.

[1] Goranko, Valentín Universidad de Estocolmo

[2] "Consejo DLMPST 2024-2027" . Consultado el 16 de septiembre de 2023 .

[3] "IUHPST - Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología" . Consultado el 16 de septiembre de 2023 .

[4] SLS, Comité Ejecutivo. "Sociedad de Lógica Escandinava" . Consultado el 1 de noviembre de 2020 .

[5] "Publicaciones de FoLLI sobre lógica, lenguaje e información" . Springer . Consultado el 1 de noviembre de 2020 .

[6] Miembros ejecutivos, Asociación Europea de Lógica en Ciencias de la Computación. "Organización EACSL" . Consultado el 1 de noviembre de 2020 .

[7] Conradie, Willem, Valentin Goranko (2015). Lógica y matemáticas discretas: una introducción concisa . Wiley . ISBN 978-1-118-75127-5.

[8] Demri, Stéphane, Valentin Goranko, Martin Lange (2016). Lógicas temporales en informática: sistemas de estados finitos . Cambridge University Press . ISBN 978-1-107-02836-4.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )

[9] Goranko, Valentin (2016). La lógica como herramienta: una guía para el razonamiento lógico formal . Wiley . ISBN 978-1-118-88000-5.

[10] Goranko, Valentin (2023). Lógicas temporales . Elementos de filosofía y lógica. Cambridge University Press. ISBN 9781009170093.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]