Jump to content

Valentin Goranko

From Wikipedia, the free encyclopedia
Valentin Goranko
Valentin Goranko year 2016
Valentin Goranko - Nice, Sept 2019
Born (1959-09-22) September 22, 1959 (age 64)
Sofia, Bulgaria
Alma materSofia University
Known forcontributions to: modal logics, hybrid logics, temporal logics, logics for games and multi-agent systems
Scientific career
FieldsLogic
Thesis Definability and completeness in multi-modal logics  (1988)
Doctoral advisorDimiter Vakarelov
WebsiteOfficial 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

[edit]

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

[edit]

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 4 books and over 140 research papers and chapters in handbooks and other research collections.

Professional service

[edit]

Published books

[edit]
  • 2015 Logic and Discrete Mathematics: A Concise Introduction[8]
  • 2016 Temporal Logics in Computer Science[9]
  • 2016 Logic as a Tool: A Guide to Formal Logical Reasoning[10]
  • 2023 Temporal logics[11]

References

[edit]
  1. ^ Goranko, Valentin Stockholm University
  2. ^ "DLMPST Council 2024-2027". Retrieved 16 September 2023.
  3. ^ "IUHPST - International Union of History and Philosophy of Science and Technology". Retrieved 16 September 2023.
  4. ^ SLS, Executive committee. "Scandinavian Logic Society". Retrieved 1 November 2020.
  5. ^ FoLLI management board. "The Association for Logic, Language and Information". Retrieved 1 November 2020.
  6. ^ "FoLLI Publications on Logic, Language and Information". Springer. Retrieved 1 November 2020.
  7. ^ Executive members, European Association for Computer Science Logic. "Organization EACSL". Retrieved 1 November 2020.
  8. ^ Conradie, Willem, Valentin Goranko (2015). Logic and Discrete Mathematics: A Concise Introduction. Wiley. ISBN 978-1-118-75127-5.
  9. ^ 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)
  10. ^ Goranko, Valentin (2016). Logic as a Tool: A Guide to Formal Logical Reasoning. Wiley. ISBN 978-1-118-88000-5.
  11. ^ Goranko, Valentin (2023). Temporal Logics. Elements in Philosophy and Logic. Cambridge University Press. ISBN 9781009170093.