Valentin Goranko
Valentin Goranko | |
|---|---|
 Valentin Goranko - Nice, Sept 2019 | |
| Born | September 22, 1959 Sofia, Bulgaria |
| Alma mater | Sofia University |
| Known for | contributions to: modal logics, hybrid logics, temporal logics, logics for games and multi-agent systems |
| Scientific career | |
| Fields | Logic |
| Thesis | Definability and completeness in multi-modal logics (1988) |
| Doctoral advisor | Dimiter Vakarelov |
| Website | Official website |
Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.[1]
Education and academic career
Goranko studied mathematics (M.Sc. 1984) and obtained Ph.D. in Mathematical Logic at the Faculty of Mathematics and Informatics of the Sofia University "St. Kliment Ohridski" in 1988. Before joining Stockholm University in 2014, he has had several academic positions at universities in Bulgaria (until 1992), South Africa (1992-2009), Denmark (2009-2014) and Sweden (since 2014) and has taught a wide variety of courses in Mathematics, Computer Science, and Logic.
Research fields
Goranko has a broad range of research interests in the theory and applications of Logic to artificial intelligence, multi-agent systems, philosophy, computer science, and game theory, where he has published 3 books and over 120 research papers and chapters in handbooks and other research collections.
Professional service
- President (since 2018) of the Scandinavian Logic Society[2]
- Senior member and past president (2016-2020) of the Management Board of the Association for Logic, Language and Information (FoLLI)[3]
- Editor-in-chief (Logic) of the FoLLI Publications series on Logic, Language and Information, a sub-series of Springer LNCS.[4]
- Executive member of the Board of the European Association for Computer Science Logic EACSL[5]
- Associate Editor of the ACM Transactions on Computational Logic and member of the editorial boards of several other scientific journals.
Published books
- 2015 Logic and Discrete Mathematics: A Concise Introduction[6]
- 2016 Temporal Logics in Computer Science[7]
- 2016 Logic as a Tool: A Guide to Formal Logical Reasoning[8]
Bibliography
Complete list of the publications of Valentin Goranko
References
- ^ Goranko, Valentin Stockholm University
- ^ SLS, Executive committee. "Scandinavian Logic Society". Retrieved 1 November 2020.
{{cite web}}: CS1 maint: url-status (link) - ^ FoLLI management board. "The Association for Logic, Language and Information". Retrieved 1 November 2020.
{{cite web}}: CS1 maint: url-status (link) - ^ Editors-in-Chief. "FoLLI Publications on Logic, Language and Information". Springer. Retrieved 1 November 2020.
{{cite web}}:|last=has generic name (help)CS1 maint: url-status (link) - ^ Executive members, European Association for Computer Science Logic. "Organization EACSL". Retrieved 1 November 2020.
{{cite web}}: CS1 maint: url-status (link) - ^ Conradie, Willem, Valentin Goranko (2015). Logic and Discrete Mathematics: A Concise Introduction. Wiley. ISBN 978-1-118-75127-5.
- ^ Demri, Stéphane, Valentin Goranko, Martin Lange (2016). Temporal Logics in Computer Science:Finite-State Systems. Cambridge University Press. ISBN 978-1-107-02836-4.
{{cite book}}: CS1 maint: multiple names: authors list (link) - ^ Goranko, Valentin (2016). Logic as a Tool: A Guide to Formal Logical Reasoning. Wiley. ISBN 978-1-118-88000-5.
External links
- Scandinavian Logic society
- European Association for Computer Science Logic
- The Association for Logic, Language and Information (FOLLI)
- Association for Symbolic Logic
- Association for Automated Reasoning (AAR)
- American Mathematical Society (AMS)
- Game Theory Society
- Mathematical Association of America (MAA)
- The Kurt Gödel Society