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.
Following the successful receipt of 4 million EUR in funding from the European Union in 2024, the LICORICE (reLIable and sCalable tOols foR self-sovereign Identity and data proteCtion framEwork) Project Working Group convened for a LICORICE Project Kick-off meeting in Paris on October 3rd-4th, 2024.
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).
Distributed policies, enforcement and control