جست‌وجوی استاد و پژوهشگر

• Distributed Computing
• Data-Centric Systems
• Software Engineering
• +۳ مورد دیگر

Tilman Zuckmantel is a Research Assistant at the Software, Data, People & Society (SDPS) section of the Department of Computer Science , University of Copenhagen. His work focuses on distributed computing and data-centric systems, particularly in asynchronous choreographies and microservices architecture. Recent research outputs include: DACEO (2025): A declarative framework for asynchronous choreographies with event-ordering and object-oriented extensions. Event-based Data-Centric Semantics (2022): A model for consistent data management in microservices environments.

Michele Albanoمشاهده پروفایل

دانشیار

• Internet of Things (IoT)
• Energy Engineering
• Quality of Service (QoS)
• +۵ مورد دیگر

Affiliations & Roles Michele Albano is an Associate Professor at the Department of Computer Science, Aalborg University, Denmark. He is affiliated with The Technical Faculty of IT and Design, focusing on research in IoT, Cyber-Physical Systems, and Edge Computing. He leads the Productive4.0 project (2017–2020), funded by Horizon Europe, addressing Industry 4.0 challenges in product lifecycle management. His work integrates formal verification tools like Uppaal with real-world applications in robotics, energy systems, and blockchain-based platforms. Research Interests Albano's research spans IoT architecture optimization , energy-efficient systems , and model-driven engineering . He develops tools for autonomous exploration algorithms (MAES), edge-cloud resource orchestration, and fault-tolerant computation offloading. His work bridges theoretical models (e.g., Uppaal SMC) with practical implementations in smart grids and robotic systems. Recent projects include blockchain-based crowdsourcing for machine learning and energy-aware thermal dynamics estimation in buildings. Collaborations & Impact He collaborates with the European Industry 6.0 community, contributing to the Arrowhead Framework for interoperable IoT systems. His research outputs include 112 publications, with 2025 highlights in human-inspired robotics and cognitive cloud frameworks. Media coverage in 2024–2025 highlights his work on green IT and secure API generation. Albano advises students on system modeling (e.g., ACSmt plugin development) and edge computing optimization. Labs & Teams His research group focuses on Cyber-Physical Systems and Smart Grids , with contributions to tools like RoutesMobilityModel and FlexHousing. He actively participates in workshops on New Trends in Software Architecture (SATrends '24) and IEEE conferences on Industrial Informatics.

Narongrit Unwerawattanaمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Cybersecurity
• Programming Languages
• +۳ مورد دیگر

Narongrit Unwerawattana is a Researcher at the Department of Mathematics and Computer Science, University of Southern Denmark, affiliated with the Artificial Intelligence, Cybersecurity and Programming Languages VIP group and the Digital Democracy Centre. His work focuses on microservices, distributed computing, and software engineering. Research Interests He specializes in microservices architecture, testing frameworks, and programming languages, with secondary interests in cybersecurity and service-oriented systems. His research contributes to advancing coordination models and technical support for multiple services. Scientific Awards Best Artifact Award (2023) Projects Currently participating in the "Cybersecurity and Business Continuity" project (2023–2026), collaborating with researchers on mental models and cybersecurity challenges for small and medium enterprises.

• Database Systems
• Microservices Architecture
• Event-driven Systems
• +۳ مورد دیگر

Rodrigo Nunes Laigner is a Postdoc researcher at the Department of Computer Science (DIKU), Faculty of Science, University of Copenhagen. He is a member of the Software, Data, People & Society (SDPS) section, which focuses on research in software, process and data management systems, and methods for developing software systems suited for people while creating value for society. His research interests span database systems, microservices architecture, event-driven systems, distributed systems, software engineering, and data management. Laigner's work often involves interdisciplinary collaboration with industry partners. Analysis of his publication record reveals a strong focus on data management challenges in modern distributed architectures, particularly microservices. His research addresses critical issues including consistency models, scalability, benchmarking methodologies, and state management in cloud-native applications. A significant portion of his work explores event-driven approaches to solve data management problems in distributed environments. Laigner has been actively publishing in top-tier venues including Proceedings of the ACM on Management of Data, IEEE International Conference on Data Engineering (ICDE), ACM Symposium on Cloud Computing (SoCC), and the Proceedings of the VLDB Endowment. His publications demonstrate both theoretical contributions and practical implementations addressing real-world challenges in data management.

Nicklas Sindlev Andersenمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Data Science
• Computer Science
• +۴ مورد دیگر

Nicklas Sindlev Andersen is a postdoctoral researcher in Data Science at the Department of Mathematics and Computer Science , University of Southern Denmark. His work bridges artificial intelligence with healthcare, mobility analytics, and network protocol design. Research Focus: AI-driven medical risk assessment, underwater communication protocols, mHealth applications for dementia care, and computational heritage storytelling. Collaborations: Active in international research networks spanning 6 countries/regions, with interdisciplinary partnerships in computer science, medicine, and digital ethics. Recent publications highlight his expertise in artificial intelligence (100% overlap), mHealth systems , and data-driven mobility analysis . Key methodologies include predictive modeling, value-sensitive design, and cross-layer network optimization. Collaboration network map shows dominant expertise in Computer Science (100%), with significant contributions to Artificial Intelligence (75%) and Location Data analysis (50%).

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

استاد

• Programming Languages
• Distributed Systems
• Microservices
• +۷ مورد دیگر

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مشاهده پروفایل

استادیار

• Programming Languages
• Process Calculi
• Choreographic Programming
• +۴ مورد دیگر

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.

Jonas Hedmanمشاهده پروفایل

استاد

• Payment Systems
• Digital Infrastructure
• Blockchain Technology
• +۴ مورد دیگر

Jonas Hedman is a Professor in the Department of Digitalization at Copenhagen Business School (CBS), Denmark. His research focuses on the digital transformation of financial systems, particularly payment technologies, cashless societies, and digital infrastructure. He has authored over 149 publications and is frequently engaged in media discussions on the future of money and digital finance. His research interests span Payment Systems , Digital Infrastructure , Blockchain Technology , Cashless Society , FinTech , and Business Models in Digital Contexts . Hedman's work often examines the socio-technical dynamics of digital payment ecosystems, the evolution of global payment infrastructure, and the implications of cashlessness in societies like Sweden and Denmark. He also investigates API product quality and the role of digital offerings in transforming traditional industries. Analysis of Hedman's recent publications (2021-2025) reveals a strong emphasis on the transition to cashless societies, with multiple studies on Sweden's move away from cash and the implications for merchants and consumers. His work also explores blockchain applications in finance, the development of instant payment systems, and the governance of digital identity. A recurring theme is the tension between technological evolution and institutional arrangements in global payment infrastructure. Scientific Awards: No specific awards were mentioned in the provided information. Advising and Activities: Professor Hedman has supervised 28 students and academic projects. He is highly active in the academic community with 79 recorded activities, including lectures and conference participations on topics such as mobile payments and digital infrastructure. Additionally, he is a prominent media commentator with 195 press contributions, providing expert insights on digital finance and cashless societies.

• Database Systems
• Distributed Systems
• Event-Based Systems
• +۵ مورد دیگر

Yongluan Zhou is a Professor at the Department of Computer Science , University of Copenhagen , where he co-heads the Data Management Systems Lab (DMS Lab) and serves as Head of Studies for the MSc in Computer Science . His academic journey includes a PhD from the National University of Singapore (NUS) (2007), a postdoc at ETH Zürich (2007–2008), and prior roles as Associate Professor at University of Southern Denmark (SDU) (2008–2017). PhD in Computer Science, National University of Singapore (2002–2007) Postdoc, ETH Zürich (2007–2008) Zhou's research focuses on database systems and distributed systems , with recent emphasis on event-driven systems , scalable stream processing , and big graph analysis . His work bridges theoretical foundations and practical implementations, addressing challenges in data consistency, fault tolerance, and resource optimization in cloud and microservice environments. The trends in his 15 most recent publications (2025–2024) highlight advancements in asynchronous choreographies , blockchain consensus protocols , GPU-accelerated graph processing , and microservices data management . These works integrate formal methods with empirical validation, emphasizing scalability, security, and efficiency in distributed environments. He actively contributes to academic governance as a member of the DEBS Steering Committee (2024–), SSDBM Steering Committee (2022–), and the EDBT Association Executive Board (2020–).

• Theoretical Computer Science
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

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مشاهده پروفایل

استاد

• Programming Languages
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

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مشاهده پروفایل

استاد

• 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مشاهده پروفایل

دانشیار

• Choreographic Programming
• Concurrent Systems
• Formal Methods
• +۵ مورد دیگر

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.

Shahrzad M. Pourمشاهده پروفایل

پژوهشگر

• Computer Science
• Railway Engineering
• Traffic Management Systems
• +۳ مورد دیگر

Shahrzad M. Pour is a Researcher at the Department of Applied Mathematics and Computer Science Dynamical Systems at the Technical University of Denmark. Her work bridges computer science and transportation engineering, focusing on railway systems, road condition modeling, and climate change adaptation technologies. Expertise in railway engineering (100%) Specializes in traffic management systems (76%) Develops scheduling algorithms (70%) Active in road engineering (50%) Contributes to climate risk management frameworks Her research intersects with UN Sustainable Development Goals through innovative solutions for sustainable infrastructure and climate action. Recent publications highlight her work in urgent computing architectures, IoT platforms for road monitoring, and adaptive decision support systems. She contributes to open science through datasets like LiRA-CD (road condition modeling) and participates in interdisciplinary collaborations across Denmark and Europe.

Peter Schneider-Kampمشاهده پروفایل

استاد

• Data Science
• Artificial Intelligence
• Machine Learning
• +۵ مورد دیگر

Peter Schneider-Kamp is a Professor of Data Science at the Department of Mathematics and Computer Science, University of Southern Denmark. His research focuses on Artificial Intelligence, Machine Learning, Privacy-Preserving Techniques, and Algorithms. He has led projects such as the Danish Foundation Models initiative and the PREPARE cardiovascular disease project. His work spans synthetic data frameworks (e.g., Syntheval), quantization-aware neural networks (BitNet), and autonomous drone systems (Drones4Safety). He has been honored with awards including the Researcher Award 2014 and the Friedrich-Wilhelm-Preis 2009. Key research interests include optimizing sorting networks, termination analysis, and UAV-based infrastructure inspection. He has contributed to over 112 publications and actively participates in academic activities like organizing the 13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Schneider-Kamp also engages in educational roles, teaching courses such as DS806 and DM564 on database systems. His projects highlight interdisciplinary impact, including cardiovascular disease risk estimation (PREPARE) and AI-driven health advice analysis. He collaborates internationally, with recent work featured in venues like the International Conference on Agents and Artificial Intelligence.