Viorica Sofronie

Papers

Total Citations

H-Index

About

Viorica Sofronie is a researcher whose work bridges the foundations of logic, multi-agent systems, and category theory. Her key research areas include the development of formal semantics for cooperative reasoning, with a particular focus on sheaf-theoretic models. Her most notable contribution, the paper "Towards a sheaf semantics for cooperating agents scenarios" (1996), introduced a novel framework for representing the interactions and knowledge of multiple agents using sheaf theory—a powerful mathematical tool from algebraic geometry. This work, with 5 citations, laid early groundwork for understanding how local information can be coherently integrated into a global perspective in distributed systems. While her citation count is modest, the conceptual depth of her approach has influenced subsequent research in formal methods for multi-agent coordination and epistemic logic. Sofronie’s work is particularly valued by scholars interested in the intersection of logic, computation, and mathematical structure, offering a rigorous foundation for modeling cooperative behavior in complex environments.