Valentin Feodorov Goranko (born 22 September 1959 in

Sofia Sofia ( ; bg, София, Sofiya, ) is the capital and largest city of Bulgaria. It is situated in the Sofia Valley at the foot of the Vitosha mountain in the western parts of the country. The city is built west of the Iskar river, and h ...

Bulgaria Bulgaria (; bg, България, Bǎlgariya), officially the Republic of Bulgaria,, ) is a country in Southeast Europe. It is situated on the eastern flank of the Balkans, and is bordered by Romania to the north, Serbia and North Macedo ...

) is a Bulgarian-Swedish

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

ian, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.

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 Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...

multi-agent system A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.Hu, J.; Bhowmick, P.; Jang, I.; Arvin, F.; Lanzon, A.,A Decentralized Cluster Formation Containment Framework f ...

s, philosophy,

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...

, and game theory, where he has published 4 books and over 140 research papers and chapters in handbooks and other research collections.

Professional service

* President elect (with mandate 2024–2027) of th
Division of Logic, Methodology and Philosophy of Science and Technology
(DLMPST) of the International Union of History and Philosophy of Science and Technology (IUHPST) * President (since 2018) of the '' Scandinavian Logic Society'' * Senior member and past president (2016-2020) of the management board of the ''

Association for Logic, Language and Information The Association for Logic, Language and Information (FoLLI) is an international, especially European, learned society. It was founded in 1991 "to advance the practicing of research and education on the interfaces between Logic, Linguistics, Comp ...

(FoLLI)'' * Editor-in-chief (Logic) of the ''FoLLI Publications series on Logic, Language and Information, a sub-series of Springer LNCS.'' * Executive member of the Board of the '' European Association for Computer Science Logic EACSL'' * Editor-in-chief on the journa
Logics
* 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'' * 2016 ''Temporal Logics in Computer Science'' * 2016 ''Logic as a Tool: A Guide to Formal Logical Reasoning'' * 2023 Temporal logics

References

{{DEFAULTSORT:Goranko, Valentin 1959 births Bulgarian logicians Logicians Mathematical logicians Living people