Anastasis Georgoulas

Papers

Total Citations

H-Index

About

Anastasis Georgoulas is a researcher whose work lies at the intersection of formal methods, quantitative modelling, and collective adaptive systems. His primary research focuses on the design and analysis of complex, distributed systems, with a particular emphasis on the CARMA language—a high-level modelling framework developed to capture the behaviour and interactions of collective adaptive systems. Georgoulas has made significant contributions by extending CARMA to incorporate goals and resource constraints, enabling more realistic and expressive models of systems where agents must balance objectives with limited resources. His most cited paper, "Goals and Resource Constraints in CARMA" (2018), with 2 citations, lays foundational groundwork for integrating decision-making and resource awareness into formal models. This work is notable for bridging the gap between theoretical modelling and practical system design, offering tools for engineers and researchers to analyze adaptive behaviours in domains like robotics, smart cities, and IoT. Georgoulas’s contributions are particularly valuable for students and researchers exploring how formal languages can capture the nuanced trade-offs inherent in autonomous, resource-constrained environments.