Find Academic Supervisors

Peter SestoftView profile

Professor

• Programming Languages
• Software Development
• Parallel Programming
• +4 more

Peter Sestoft is a Professor at the IT University of Copenhagen (ITU), leading the Computer Science Department since 2017. His primary roles include academic leadership, research in programming languages and software engineering, and teaching. He holds a PhD in Computer Science from the University of Copenhagen (1991) and has held academic positions at institutions like the Royal Veterinary and Agricultural University and the Technical University of Denmark before joining ITU in 1999. His research focuses on programming languages, functional and managed object-oriented languages, parallel programming, compilers, and spreadsheet implementation technologies. He has developed influential tools like the C5 Generic Collection Library for C# and Moscow ML, a Standard ML implementation. His work on Funcalc and Corecalc advanced spreadsheet technology with user-defined functions and efficient recalculation algorithms. Key contributions include over 30 publications, including books on programming language concepts and Java/C# syntax. He has led major research projects such as 'Popular Parallel Programming' (P3) and 'Probabli' for actuarial calculations. His academic service includes roles on national grant committees and international conference organizing committees. Notable advising includes PhD students like Andrzej Wasowski (ITU Professor) and David Christiansen (Director of Haskell Foundation). His work has been recognized through grants exceeding 25 million DKK and collaborations with institutions like Microsoft Research and Harvard University.

Claus BrabrandView profile

Professor

• Computing Education Research
• Gender Studies in STEM
• Diversity in Technology
• +3 more

Claus Brabrand is a Professor of Software Engineering and Head of the Center for Computing Education Research at the IT University of Copenhagen. His research focuses on computing education, gender diversity in STEM, and software product line analysis. He has led projects like DIREC (Digital Research Centre Denmark) and ATTiKA (Adaptive Tools for Technical Knowledge Acquisition), funded by the Innovation Fund Denmark and Villum Foundation. PhD in Computer Science Over 45 publications in computing education and software engineering Active in curriculum development and educational policy Research interests include improving teaching quality through learning technologies, gender representation in IT materials, and cognitive competencies in programming education. His work bridges software engineering principles with pedagogical innovations, addressing issues like novice programmer performance and curriculum design.

• Programming Languages
• Reversible Computing
• Software Systems
• +2 more

Robert Glück is a Professor at the Department of Computer Science under the Faculty of Science , University of Copenhagen. He also served as a Visiting Professor at the National Institute of Informatics, Tokyo . His research spans programming languages , reversible computing , and metaprogramming , with a focus on energy-efficient computation. Email: glueck@di.ku.dk Phone: +45 29611655 Address: Universitetsparken 5, Building B, 2100 Copenhagen Ø Glück's research interests center on reversible computing , program generation , and metaprogramming , particularly for low-energy systems. His work includes developing reversible logic circuits, invertible interpreters, and tools for program inversion via term rewriting systems. Recent publications highlight advancements in reversible flowchart languages , partial evaluation techniques , and compiler design . Key themes include garbage-free reversibility, memory-efficient algorithms, and formal verification of reversible systems. Scientific Awards: Japan Society for the Promotion of Science (JSPS) Fellowship Grants & Projects: Presto Basic Research Grant (JST) Danish Council for Strategic Research (DSF) project Danish Council for Independent Research (FNU) project Administrative Roles: Current member of the Study Board for Mathematics and Computer Science Former Head of Studies for the Master in Computer Science Professional Activities: IFIP Technical Committee WG 2.11 member (2004–) Steering Committee roles at LOPSTR 2024, FLOPS 2024, HCVS 2024, RC 2024 Editorial Board member for New Generation Computing (2005–)

Kurt NørmarkView profile

Associate Professor

• Computer Science
• Programming Languages
• Object-Oriented Programming
• +8 more

Kurt Nørmark is an Associate Professor in the Department of Computer Science at Aalborg University, under The Technical Faculty of IT and Design, Denmark. He is actively engaged in research and teaching, particularly in the areas of programming education and programming language design. His research interests focus on Object-Oriented Programming , Programming Languages , Program Understanding , and Educational Technology in introductory programming. He has explored the use of video and digital tools to enhance student learning in programming courses, contributing to modern pedagogical approaches. The recent publications reflect a consistent trend in computing education , emphasizing gradual abstraction , program documentation , and student engagement through multimedia. These works are primarily situated within the broader fields of Computer Science Education and Educational Technology. Kurt Nørmark has participated in educational research projects, including the PBL Exchange initiative, which supports Problem-Based Learning through IT platforms. While no formal list of advisees or awards is provided, his contributions to curriculum development and digital teaching tools indicate active involvement in academic mentoring and educational innovation. He is associated with research initiatives aimed at improving teaching methodologies in computer science, particularly through the integration of videos and digital platforms in classroom settings.

• Database Systems
• Microservices Architecture
• Event-driven Systems
• +3 more

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.

Ju FengView profile

Researcher

• Wind Energy Systems
• Floating Offshore Wind Farms
• Wind Farm Optimization
• +6 more

Ju Feng is a Senior Researcher at the Department of Wind and Energy Systems, Technical University of Denmark (DTU), specializing in Wind Energy Systems , Wind Farm Optimization , and Control Strategies . He contributes to research in Floating Offshore Wind Farms , Multi-Disciplinary Optimization , and Noise Propagation . His work includes developing simulation tools, wake models, and control frameworks for wind farms in complex environments. Research Interests: Optimization of wind farm design and operation Advanced wake and flow modeling AI-driven wind energy solutions Noise control and acoustic propagation Multi-fidelity/multi-disciplinary modeling Cost-effective wind farm technologies Publication Trends: Ju Feng's recent work (2022-2024) focuses on floating offshore wind farms , noise constraints , and multi-disciplinary integration . Older articles (2012-2017) emphasize control algorithms , wake modeling , and optimization frameworks . Advising: Supervising PhD Student Wang R. (AI-Augmented Wind Farm Design Optimization, 2025-2028) Co-supervising Nyborg C. M. (Noise Control in Wind Farms, 2019-2023) Collaboration Network: Active in international projects like DecoWind, ModFarm, and FarmConners. Collaborates with institutions such as DTU Wind Energy and researchers including Shen W. Z. , Réthoré P.-E. , and Bredmose H. .

Fabrizio MontesiView profile

Professor

• Programming Languages
• Distributed Systems
• Microservices
• +7 more

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.

Henrik Bærbak ChristensenView profile

Associate Professor

• Experimental systems development
• Software architecture
• Teaching in programming and software development
• +3 more

Henrik Bærbak Christensen is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, specializing in experimental systems development and software architecture with a strong emphasis on pedagogical innovation in programming education. His research integrates distributed software systems , pervasive computing , and DevOps practices with practical industrial applications. Christensen focuses on translating theoretical concepts like architectural patterns and compositional design into teachable frameworks, particularly through case studies in healthcare software ecosystems and energy-efficient development. Recent publications (2023-2025) reveal a strategic shift toward sustainability in software engineering, examining technical debt in corporate mergers and energy consumption patterns, while maintaining his signature approach of grounding academic work in real-world teaching experiences. Christensen's contributions have earned significant recognition: Teacher of the Year 2013 Teacher of the Year 2016 He has driven five major research initiatives including Danish telemedicine leadership projects (2013-2015) and the Net4Care Ecosystem Framework (2010-2015), consistently focusing on open-source healthcare systems and interoperability standards like IHE XDS. His collaborative network spans healthcare technology ecosystems, with recent activities including lectures on energy-efficient architecture (2023-2025) and contributions to Danish telemedicine policy frameworks through the EcoSense project.

Amin TimanyView profile

Associate Professor

• Programming Languages
• Formal Methods
• Type Theory
• +3 more

Amin Timany serves as an Associate Professor in the Department of Computer Science at Aarhus University, Denmark. His research focuses on foundational aspects of programming languages and formal verification systems, with particular expertise in logical frameworks for program correctness. His primary research interests span: Programming Languages Theory Formal Methods and Verification Type Systems and Type Soundness Separation Logic for Concurrency Logical Relations and Denotational Semantics Mechanized Proof Systems Analysis of Timany's recent publications (2022-2025) reveals a strong emphasis on separation logic extensions for distributed systems, guarded recursion techniques, and type soundness proofs. His work frequently bridges theoretical foundations with practical verification challenges, particularly in capability-based security and CRDT verification. The publications demonstrate consistent contributions to top venues including POPL, PLDI, and CPP. Timany actively participates in academic service, having served as conference chair for CPP 2025. His research involves significant collaboration with international teams, particularly with researchers at Aarhus University and other European institutions. The publication record shows steady output with 40+ research items, including 2 PhD supervisions noted in his profile.

Ulrik Pagh Schultz LundquistView profile

Professor

• Robotics
• Unmanned Aerial Vehicles
• Programming Languages
• +6 more

Ulrik Pagh Schultz Lundquist is a Professor at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark (SDU), where he serves as Head of both the SDU UAS Center and SDU Climate Cluster. With over 123 research outputs spanning robotics, drone technology, and programming languages, Lundquist leads significant initiatives including WildDrone (2023-2026) and Terra Salva (2024-2026), and has established himself as a leading expert in unmanned aerial systems research with extensive field applications in wildlife conservation. Lundquist's research focuses on the intersection of robotics and environmental science, with particular expertise in drone swarms for ecological monitoring. His work bridges theoretical computer science with practical conservation challenges, developing programming languages and formal models specifically for modular robotics systems. Key research thrusts include minimizing wildlife disturbance through optimized drone operations, multi-perspective data collection techniques, and scalable BVLOS (Beyond Visual Line of Sight) systems for conservation areas. His fingerprint analysis reveals strong contributions to domain-specific languages (67%), unmanned aerial vehicles (28%), and object-oriented programming (28%). Recent publications demonstrate a clear trajectory toward practical conservation applications, with increasing emphasis on ethical drone deployment, wildlife disturbance minimization, and operational safety in complex environments. Lundquist's work shows growing integration of swarm intelligence techniques with traditional conservation practices, particularly in African ecosystems as evidenced by field trials at Kenya's Ol Pejeta Conservancy. Lundquist actively leads multiple research projects including WildDrone (focusing on multi-perspective animal monitoring), Terra Salva (terahertz data transmission via drones), and a High Altitude Balloon platform for vegetation monitoring. His professional leadership includes chairing the ACM International Conference on Generative Programming Steering Committee (2019-2022) and significant roles in COST Action IC1405 (2015-2019). As a highly visible expert, he has contributed to 107 media appearances, frequently advising on drone policy including Denmark's regulatory approaches to drone safety and wildlife protection. As Head of the SDU UAS Center, Lundquist directs a multidisciplinary research team specializing in conservation drone technology. The center maintains strong international collaborations, particularly with African conservation organizations, focusing on developing drone swarm methodologies that balance data quality with minimal ecological disturbance. Current team efforts prioritize field-deployable systems that can operate effectively in remote natural habitats while providing conservationists with high-quality multi-perspective monitoring capabilities.

Fabrizio MontesiView profile

Professor

• Programming Languages
• Cybersecurity
• Distributed Systems
• +3 more

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.

• Urban Studies
• Domesticity
• Materiality
• +3 more

Mark Vacher is an Associate Professor at the SAXO-Institute within the Faculty of Humanities at the University of Copenhagen, specializing in urban studies through ethnographic and phenomenological approaches. His research spans multiple scales from macro-level urban planning in deindustrializing metropolises to micro-level analyses of domestication in housing structures, with fieldwork conducted across Central/Southern Europe, North Africa, Denmark, and Mediterranean ferry systems. His primary research domains include: Urbanity and post-industrial transformations Domesticity and homemaking practices Materiality and spatial configurations Mobility studies and movement anthropology Urban planning methodologies Vacher's current work critically examines industrial complex transformations using Gilles Deleuze's philosophical framework and phenomenological perspectives, focusing on how urban spaces are materially and socially reconfigured. His methodology emphasizes embodied experience and sensory engagement with urban environments. Recent publications (2019-2023) demonstrate consistent thematic focus on urban metamorphosis, with significant contributions to green transition research through Copenhagen's Nordhavn Living Lab, Syrian refugee studies in Lebanon, and innovative applications of humanistic knowledge in architectural business strategy. Key methodological threads include ethnographic deep-dives into community formation and spatial phenomenology. Scientific recognition: No formal awards or fellowships documented in current profile Professional engagement shows active collaboration with urban development initiatives like the Nordhavn Living Lab, though specific grant funding details and student supervision records remain unpublicized in available materials. His work bridges theoretical anthropology with practical urban solutions, particularly in sustainability transitions and community housing models. Research infrastructure includes participation in the Nordhavn Living Lab ecosystem and ongoing Mediterranean mobility studies, with emphasis on real-world application of anthropological insights to contemporary urban challenges.

Marco PeressottiView profile

Associate Professor

• Choreographic Programming
• Concurrent Systems
• Formal Methods
• +5 more

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.

Lone Leth ThomsenView profile

Associate Professor

• Object Oriented Programming
• Programming Languages
• Concurrency
• +4 more

Lone Leth Thomsen is an Associate Professor at the Department of Computer Science, Aalborg University, affiliated with The Technical Faculty of IT and Design. She is a member of CISS (Center for Embedded Software Systems) and Daisy (Center for Data-intensive Systems). Her research focuses on spreadsheet semantics, parallel programming, formal verification, and programming language design. Key research interests include operational semantics for spreadsheets, concurrency models, and energy-efficient software development. She has participated in projects such as P3: Popular Parallel Programming (2015–2019) and COST Action IC0701 (2008–2012), which addressed formal verification of object-oriented software. Recent work explores sustainable software practices and energy consumption analysis of IT systems. Her publications emphasize spreadsheet semantics, parallel execution optimization, and formal methods. She has collaborated on projects like The Virtual Desktop and Beyond (2006–2009), focusing on service-oriented architectures in farming industries.

• Multimedia Systems
• Computer Science
• Data Management
• +3 more

Wolfgang Klas is a Professor in the Faculty of Computer Science, leading the Research Group Multimedia Information Systems. His research focuses on multimedia systems, artificial intelligence, and blockchain technology. He has been actively involved in research projects such as TP2 PRECIOUS (2013-2016), SciLink (2011-2014), and OptFI (2010-2013). Key research interests include multimedia content management, MPEG7 standards, object-oriented databases, and schema definition. He has also contributed to cybersecurity topics like fake review detection and blockchain applications. Publications span from multimedia systems to sentiment analysis, with recent work emphasizing AI-driven solutions. He is a frequent speaker on topics like blockchain innovation and data security, including presentations at SMAP 2020 and the IT4S Forum 2024. Media engagements include discussions on blockchain technology’s role in business and education reforms, such as lifelong study record systems. His work bridges academic research with real-world applications through industry collaborations and public outreach.