Valentin Goranko - Valentin Goranko
Valentin Goranko | |
---|---|
Nascer |
Sofia, Bulgária
|
22 de setembro de 1959
Alma mater | Universidade de sofia |
Conhecido por | contribuições para: lógicas modais , lógicas híbridos , lógicas temporais , lógicas para jogos e sistemas multi-agente |
Carreira científica | |
Campos | Lógica |
Tese | Definibilidade e completude em lógicas multimodais (1988) |
Orientador de doutorado | Dimiter Vakarelov |
Local na rede Internet | Website oficial |
Valentin Feodorov Goranko (nascido em 22 de setembro de 1959 em Sofia , Bulgária ) é um lógico búlgaro-sueco , Professor de Lógica e Filosofia Teórica no Departamento de Filosofia da Universidade de Estocolmo .
Educação e carreira acadêmica
Goranko estudou matemática (M.Sc. 1984) e obteve o doutorado. em Lógica Matemática na Faculdade de Matemática e Informática da Universidade de Sofia "St. Kliment Ohridski" em 1988. Antes de ingressar na Universidade de Estocolmo em 2014, teve vários cargos acadêmicos em universidades na Bulgária (até 1992), África do Sul (1992- 2009), Dinamarca (2009-2014) e Suécia (desde 2014) e ministrou uma ampla variedade de cursos em Matemática, Ciência da Computação e Lógica.
Campos de pesquisa
Goranko tem uma ampla gama de interesses de pesquisa na teoria e aplicações da Lógica à inteligência artificial , sistemas multiagentes , filosofia , ciência da computação e teoria dos jogos , onde publicou 3 livros e mais de 120 artigos de pesquisa e capítulos em manuais e outros coleções de pesquisa.
Serviço profissional
- Presidente (desde 2018) da Sociedade Escandinava de Lógica
- Membro sênior e ex-presidente (2016-2020) do Conselho de Administração da Association for Logic, Language and Information (FoLLI)
- Editor-chefe (Logic) da série FoLLI Publications on Logic, Language and Information , uma sub-série do Springer LNCS.
- Membro executivo do Conselho de Administração da European Association for Computer Science Logic EACSL
- Editor associado da ACM Transactions on Computational Logic e membro do conselho editorial de várias outras revistas científicas.
Livros publicados
- 2015 Lógica e matemática discreta: uma introdução concisa
- 2016 Lógica Temporal em Ciência da Computação
- 2016 Lógica como uma ferramenta: um guia para o raciocínio lógico formal
Bibliografia
Lista completa das publicações de Valentin Goranko
Referências
links externos
- Sociedade Lógica Escandinava
- Associação Europeia de Lógica da Ciência da Computação
- A Associação para Lógica, Linguagem e Informação (FOLLI)
- Associação para lógica simbólica
- Association for Automated Reasoning (AAR)
- American Mathematical Society (AMS)
- Sociedade da Teoria dos Jogos
- Mathematical Association of America (MAA)
- Sociedade Kurt Gödel