The Complex Cyber Infrastructure (CCI) group is part of the Informatics Institute at the University of Amsterdam. CCI's mission is to advance the trustworthiness of complex computer systems. We focus on decentralized systems with advanced technologies (e.g., cloud, edge, blockchain, data spaces), serving multiple stakeholders with different objectives. Our research aims at improving compliance with defined policies, security & privacy, and environmental sustainability, thus providing a solid foundation for advanced data analytics and artificial intelligence applications. We teach the next generation of computer science professionals, and cooperate with a large ecosystem of organizations. Our focus areas include data exchange systems, normative reasoning, security & privacy, software languages, and responsible software systems.
Members of the Complex Cyber Infrastructure group have been hard at work on the topic of software languages, developing methods and tools improving the productivity and control of programmers and language-designers.
Francesco Regazzoni, Marco Brohet and Georgios Tasopoulos attended the CPS Summer School 2024 in Alghero, Italy. Marco and Georgios also presented posters about their research.
The paper titled On the Soundness of Auto-Completion Services for Dynamically Typed Languages by Damian Frolich and L. Thomas van Binsbergen is accepted at the 23rd edition of the International Conference on Generative Programming: Concepts & Experience (GPCE).
On the 20th of June, Christopher Esterhuyse and Tim Mueller presented their paper (with L. Thomas van Binsbergen) on the novel JustAct framework at the 2024 DisCoTec federated conference, held this year in Groningen.
Distributed policies, enforcement and control