Walenty Goranko
Valentin Goranko | |
|---|---|
 Valentin Goranko - Nicea, wrzesień 2019
| |
| Urodzić się |
22 września 1959 Sofia, Bułgaria
|
| Alma Mater | Uniwersytet Sofijski |
| Znany z | wkład w: logikę modalną , logikę hybrydową , logikę temporalną , logikę gier i systemów wieloagentowych |
| Kariera naukowa | |
| Pola | Logika |
| Praca dyplomowa | Definiowalność i kompletność w logikach multimodalnych (1988) |
| Doradca doktorski | Dimiter Wakarełow |
| Strona internetowa | Oficjalna strona internetowa |
Valentin Feodorov Goranko (urodzony 22 września 1959 w Sofii , Bułgaria ) jest bułgarsko-szwedzkim logikiem , profesorem logiki i filozofii teoretycznej na Wydziale Filozofii Uniwersytetu Sztokholmskiego .
Edukacja i kariera naukowa
Goranko studiował matematykę (mgr 1984) i uzyskał stopień doktora. Doktorat z logiki matematycznej na Wydziale Matematyki i Informatyki Uniwersytetu Sofijskiego „St. Kliment Ohridski” w 1988 r. Przed rozpoczęciem studiów na Uniwersytecie Sztokholmskim w 2014 r. zajmował kilka stanowisk akademickich na uniwersytetach w Bułgarii (do 1992 r.), RPA (1992- 2009), Danii (2009-2014) i Szwecji (od 2014) i prowadził szeroką gamę kursów z matematyki, informatyki i logiki.
Pola badawcze
Goranko ma szeroki zakres zainteresowań badawczych w zakresie teorii i zastosowań logiki w sztucznej inteligencji , systemach wieloagentowych , filozofii , informatyce i teorii gier , gdzie opublikował 3 książki i ponad 120 artykułów naukowych oraz rozdziały w podręcznikach i innych zbiory badawcze.
Profesjonalny serwis
- Prezes (od 2018) Scandinavian Logic Society
- Starszy członek i były prezes (2016-2020) zarządu Stowarzyszenia Logiki, Języka i Informacji (FoLLI)
- Redaktor naczelny (Logic) serii publikacji FoLLI na temat logiki, języka i informacji, podserii Springer LNCS.
- Członek wykonawczy Zarządu Europejskiego Stowarzyszenia Informatyki Logic EACSL
- Zastępca redaktora ACM Transactions on Computational Logic oraz członek rad redakcyjnych kilku innych czasopism naukowych.
Opublikowane książki
- 2015 Logika i matematyka dyskretna: zwięzłe wprowadzenie
- 2016 Logiki czasowe w informatyce
- 2016 Logika jako narzędzie: przewodnik po formalnym rozumowaniu logicznym