Choreographic Programming Professors and Supervisors in Denmark

Matteo Acclavioمشاهده پروفایل

استادیار

IT University of CopenhagenDenmark

Matteo Acclavio is an Assistant Professor in Computer Science at the School of Engineering and Informatics, University of Sussex, affiliated with the Foundations of Software Systems (FoSS) research group. A logician specializing in proof theory and its applications to computer science, his work bridges mathematical logic with concurrency theory and process calculi. Education: PhD in Mathematics, Aix-Marseille University, France Master in Discrete Mathematics and Foundations of Theoretical Computer Science, Aix-Marseille University Master in Mathematics, Roma Tre University, Italy Bachelor in Mathematics, Roma Tre University His research focuses on graphical proof systems, linear logic, modal logic, and concurrency theory. Publications highlight contributions to deep inference, sequent calculus, and the intersection of logic with distributed systems. Recent work explores logical frameworks for concurrency, such as choreographic programming, and graphical models for proof systems. He teaches courses like Operating Systems and maintains active collaborations in theoretical computer science.

پروفایل رسمی دانشگاه

Fabrizio Montesiمشاهده پروفایل

استاد

IT University of CopenhagenDenmark

Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark, Department of Mathematics and Computer Science. He leads the Section of Artificial Intelligence, Cybersecurity, and Programming Languages and holds leadership roles in the Microservices Community, SDU Digital Democracy Centre, and SDU eScience Center. His work focuses on programming languages and systems, cloud/edge computing, microservices, choreographic programming, and cybersecurity.

پروفایل رسمی دانشگاه

Saverio Giallorenzoمشاهده پروفایل

استادیار

IT University of CopenhagenDenmark

Saverio Giallorenzo is an Assistant Professor (tenure-track) at the Department of Computer Science and Engineering, University of Bologna. He is also a member of the Microservices Community communication group, OLAS team at INRIA (France), and the Italian National Laboratory for Cybersecurity (Bologna node). Previously, he was associated with the Focus team at INRIA (France), Concurrency and Logic group, DISI Jolie Lab, and SPACES groups. Dr. Giallorenzo's research spans multiple areas in computer science with a focus on distributed systems and programming languages. His primary research interests include: Programming Languages Process Calculi Choreographic Programming Microservices Session Types Dynamic Adaptability Security His work bridges theoretical foundations with practical applications, particularly in the areas of serverless computing, microservice architectures, and secure distributed systems. Analysis of Dr. Giallorenzo's recent publications (2024-2026) reveals a strong focus on serverless computing, microservices, and choreographic programming. His research demonstrates a consistent trajectory toward optimizing distributed systems through formal methods. Key themes include topology-aware function scheduling in serverless environments, energy-aware cloud-edge deployments, ransomware investigation frameworks, and formal models for choreographic programming. His work often combines theoretical rigor with practical implementations, as evidenced by tools like the tAPP OpenWhisk extension and SAFARI framework. Dr. Giallorenzo actively contributes to the academic community through teaching and research supervision. He teaches courses including Network Analysis, Programming Languages, and Social Network Analysis at both undergraduate and graduate levels. His teaching spans the First Cycle Degree in Computer Science and Second Cycle Degrees in Artificial Intelligence, Computer Science, and Digital Humanities and Digital Knowledge. His research activities are supported by collaborations with several institutions including INRIA in France and participation in the Italian National Laboratory for Cybersecurity. He has been involved in developing the Jolie programming language and related tools for microservice development and verification.

پروفایل رسمی دانشگاه

Luís Cruz-Filipeمشاهده پروفایل

دانشیار

University of Southern DenmarkDenmark

Luís Cruz-Filipe is an Associate Professor at the Department of Mathematics and Computer Science (IMADA) within the Faculty of Engineering at the University of Southern Denmark. His research spans theoretical computer science with a focus on formal methods, programming languages, and distributed systems. He maintains an active research profile with numerous publications in top venues. His research interests primarily center around choreographic programming, formal verification, sorting networks, and logic programming. Cruz-Filipe has made significant contributions to the theoretical foundations of choreographic programming, developing formal frameworks for specifying and verifying distributed communication protocols. His work on sorting networks has advanced the understanding of optimal network structures, while his research in approximation fixpoint theory has provided formal foundations for logic programming semantics. Analysis of his recent publications reveals a strong trend toward formal methods applied to distributed systems, particularly in choreographic programming where he has developed theoretical frameworks, verification techniques, and compilation approaches. His work bridges theoretical computer science with practical implementation concerns, often using proof assistants like Coq to ensure correctness. More recently, he has expanded into sustainability topics with work on green software development. As an academic, Cruz-Filipe has contributed significantly to the theoretical foundations of choreographic programming, producing a cohesive body of work that has helped establish this field. His publications demonstrate a consistent focus on formal methods to address challenges in distributed systems, with increasing attention to practical implementation and verification.

پروفایل رسمی دانشگاه

Fabrizio Montesiمشاهده پروفایل

استاد

University of Southern DenmarkDenmark

Fabrizio Montesi is a Professor and Head of Section in the Department of Mathematics and Computer Science at the University of Southern Denmark. He holds a leadership role as President of the Microservices Community since 2019. His research focuses on Choreographic Programming, Programming Languages, Cybersecurity, and Distributed Systems, with notable contributions to frameworks like Jolie and Choral. Montesi has secured significant grants, including EU Horizon Europe funding and Villum Foundation awards. He has supervised PhD students in microservices development and contributed to over 90 research outputs. His work emphasizes formal methods, concurrency, and secure distributed systems design. Research Interests His primary research areas include choreographic programming models, formal verification of distributed systems, and cybersecurity in microservices architectures. He explores theoretical foundations such as session types, process calculi, and linear logic, while developing practical tools like the Choco project for choreography-based IT systems. His work bridges theory and practice through frameworks like Jolie, enabling secure and scalable service-oriented computing. Grants & Projects - CHORDS (EU Horizon Europe) : Choreographies for Distributed Systems (2024–2029)\n- X-IDF : Explainable Internet Data Flows (2022–2026)\n- Choco : Choreographies for connected IT systems (2020–2025). Projects emphasize cybersecurity for SMEs and formal methods for distributed systems. Awards - Best Artefact Award (2023)\n- Villum Synergy Grant (2022)\n- Distinguished Paper Award (2021)\n- Villum Young Investigator (2019)\n- Innovation Prize (2017). Media & Outreach Montesi has engaged with media on topics like AI tools for media houses, cybersecurity for SMEs, and Denmark’s success in EU research grants. His work is cited in Wikipedia and discussed in academic networks.

پروفایل رسمی دانشگاه

Jacopo Mauroمشاهده پروفایل

استاد

University of Southern DenmarkDenmark

Cybersecurity
DevOps
Formal Methods
+۴ مورد دیگر

Jacopo Mauro is a Professor at the Department of Mathematics and Computer Science, University of Southern Denmark. His research focuses on Cybersecurity, DevOps, Formal Methods, and Serverless Computing, with a strong emphasis on microservices, constraint programming, and cloud application deployment. Active Projects: Involved in initiatives like the Danish Cybersecurity Challenge 2022-24 (CyberSkills Career), DIREC PHD Summer School, and ASCD (Assessment on the Status of CyberSecurity in Denmark). Research Output: Authored 82 publications, including 52 articles in proceedings, 20 journal articles, and 7 book chapters. Collaborates extensively on microservice security, scheduling policies, and formal verification. Recent Work Highlights: His 2024-2026 publications analyze serverless scheduling, choreography-defined networks, and formal allocation policies, reflecting trends in cost-aware systems, edge computing, and topological constraints. Teaching: Has taught courses on Microservices, DevOps, Programming Languages, and Microservice Programming at SDU. External Engagement: Frequently cited in Danish media on cybersecurity topics, including contributions to discussions on cyber warfare, ransomware threats, and national security.

پروفایل رسمی دانشگاه

Marco Peressottiمشاهده پروفایل

دانشیار

IT University of CopenhagenDenmark

Marco Peressotti is an Associate Professor of Computer Science at the University of Southern Denmark, where he is a member of the Department of Mathematics and Computer Science and the Section of Artificial Intelligence, Cybersecurity, and Programming Languages. He also serves on the Communication Group of the Microservices Community, an international research network. His academic career focuses on making concurrent and distributed systems more effective and robust through formal methods and programming language techniques. Dr. Peressotti received his Ph.D. in Computer Science from the University of Udine in 2017. His educational background forms the foundation for his current research in formal methods and distributed systems. Peressotti's research centers on choreographic programming, formal methods, and concurrency theory, with a unifying mathematical perspective rooted in Logic and Category Theory. His work aims to make programming and analysis of concurrent systems more effective and robust. He has made significant contributions to the development of choreographic programming languages, particularly through the Choral language, which integrates object-oriented programming with choreographic abstractions. His research spans theoretical foundations to practical implementations, with applications in microservices, cybersecurity, and distributed systems. His recent publications demonstrate a strong focus on advancing choreographic programming, with particular attention to handling communication failures, out-of-order execution, and practical applications in microservices architectures. His work increasingly intersects with cybersecurity concerns, particularly in supply chain security for small and medium enterprises. The trend shows growing engagement with practical policy implications of his theoretical work, as evidenced by numerous opinion pieces in Danish media outlets. Dr. Peressotti actively supervises students, with Valentino Picotti recently defending a PhD thesis on "Language Support for Microservices Development" under his co-supervision. His research has practical applications in software verification, as demonstrated by his introduction to Software Verification with TLA+ for participants of the Danish Cyber Championships. He collaborates extensively with researchers including Fabrizio Montesi and Jan Stentoft on cybersecurity awareness and supply chain risk management. As a member of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, Peressotti contributes to research groups focused on formal methods for distributed systems. His work with the Microservices Community connects him to an international network of researchers advancing service-oriented computing paradigms.

پروفایل رسمی دانشگاه