Valentin Goranko
Papers
2
Total Citations
21
H-Index
2
About
Valentin Goranko is a leading figure in the intersection of logic, multi-agent systems, and epistemic reasoning. His research focuses on developing formal logical frameworks to model knowledge, observation, and strategic interaction among intelligent agents. Goranko’s major contributions include the creation of “Big Brother Logic,” a novel formalism that combines spatial reasoning with epistemic logic to analyze scenarios where agents equipped with surveillance cameras observe their environment and each other. This work, detailed in his most-cited papers (2016, 11 citations; 2015, 10 citations), provides a rigorous logical basis for reasoning about visual perception, knowledge, and privacy in stationary multi-agent systems. By integrating geometric constraints with modal logic, Goranko has advanced the theoretical foundations of distributed AI and multi-agent verification. His impact extends beyond these papers, as he has also made significant contributions to temporal logic, game theory, and the logic of social software. For students and researchers, Goranko’s work offers a compelling example of how formal logic can address real-world challenges in surveillance, robotics, and autonomous systems, inspiring new approaches to reasoning about knowledge and observation in complex environments.
Research Focus
Key Achievements
Top Papers
- 1
- 2