معرفی
Valentin Goranko is a Professor in the Department of Philosophy at Stockholm University, specializing in logic and its interdisciplinary applications across computer science, artificial intelligence, and multi-agent systems. His academic profile reflects a deep integration of philosophical inquiry with practical computational frameworks.
Professor Goranko's research centers on the theoretical foundations of logic with specific applications to artificial intelligence, multi-agent systems, game theory, and computer science. His work develops formal frameworks for strategic reasoning, temporal logic, and coalition-based decision making, bridging abstract logical theory with concrete implementation challenges. The research demonstrates methodological sophistication through its combination of theoretical depth with practical verification considerations.
Analysis of his recent publications reveals a maturing research program that has evolved from foundational work on temporal logics toward more complex applications involving structural analysis of logical systems and the synthesis of quantitative and qualitative reasoning approaches. His contributions to alternating-time temporal logic (ATL), game-theoretic semantics, and coalition logics have provided new insights into model checking and verification of multi-agent systems, with particular emphasis on socially friendly coalition logic (SFCL) and group protecting coalition logic (GPCL).
Professor Goranko has authored several influential textbooks including 'Logic as a Tool' (2016), 'Temporal Logics in Computer Science' (2016), and 'Logic and Discrete Mathematics' (2015), which have become standard references in their respective fields. These works reflect his commitment to making complex logical concepts accessible while maintaining rigorous theoretical standards.
At Stockholm University, he teaches Classical Logic (introductory) and Philosophical Logics II (advanced), courses that emphasize both foundational logical principles and their advanced philosophical applications. His teaching approach demonstrates a consistent focus on practical utility of logical reasoning alongside theoretical rigor, preparing students for both academic research and practical applications in computer science and artificial intelligence.
