Find Academic Supervisors

• Programming Languages
• Reversible Computing
• Partial Evaluation
• +3 more

Louis Marott Normann serves as a Lecturer in the Department of Computer Science at the University of Copenhagen's Faculty of Science. His research focuses on advanced programming language theory with specialization in reversible computing and partial evaluation techniques. His recent work demonstrates significant contributions to reversible program semantics, particularly through the development of reversible interpreters and flowchart-based program transformations. Key research themes include the theoretical foundations of invertible computation and practical applications of partial evaluation in optimizing reversible systems. Normann's 2024 publications reveal a concentrated research trajectory in programming language theory, with both papers exploring the intersection of reversibility and program transformation. His collaborations with Robert Glück highlight methodological innovations in interpreter design and flowchart program optimization, advancing the field of reversible computing. His academic activities include peer-reviewed conference publications in prestigious venues like PEPM and Festschrift publications honoring seminal researchers in programming languages. Normann maintains active research output through the University of Copenhagen's Department of Computer Science (DIKU), with open-access publications available via institutional repositories.

Marie Herget ChristensenView profile

Associate Professor

• Syntax
• Functional grammar
• Language variation and change
• +4 more

Marie Herget Christensen is an Associate Professor in the Department of Nordic Studies and Linguistics (NorS) at the University of Copenhagen's Faculty of Humanities. She serves as a language psychology lecturer and researcher, with extensive teaching responsibilities across multiple academic programs including language psychology, Danish, audiology, and linguistics. Current position: Studielektor på sprogpsykologi (2024-present) Previous positions: Undervisningsassistent på sprogpsykologi (2022-2024), Postdoc on 'Truslers sprog og genre' project (2020-2022), External lecturer on Danish program (2019-2020) Her educational background includes a PhD in Danish grammar from the University of Copenhagen (2019), a cand. Mag. in Linguistics (2013), and a University Pedagogicum (2024). Christensen's research focuses on the intersection of grammatical structure and language use in various contexts. Her primary research areas include syntax, functional grammar, language variation and change, corpus linguistics, experimental linguistics, forensic linguistics, and atypical interaction. She leads innovative research applying functional grammar to examine how individuals with schizophrenia describe their auditory hallucinations and other psychotic symptoms. Her previous work on the 'Truslers sprog og genre' project investigated grammatical features of threatening communications through quantitative language analysis of a threat corpus she helped develop. Her publication record shows significant activity in forensic linguistics and Danish syntax, with multiple publications in 2023-2025 focusing on threatening communications, sentence splitting constructions, and grammatical analysis. Her research demonstrates a consistent thread connecting theoretical linguistics with practical applications in clinical and forensic contexts. Christensen has supervised over 20 theses and bachelor projects, developing specialized courses including 'Atypisk kommunikation: interaktion blandt, med og om neurodivergente sprogbrugere' for the language psychology master's program and 'Videregående Pragmatik' for the Danish master's program. She also created the 'Basisgrammatik' course for first-year Danish students. Teaching areas: Atypical interaction, advanced pragmatics, introduction to language psychology, basic grammar, semantics, and pragmatics Supervision focus: Language psychology, atypical interaction, functional grammar She is affiliated with the Sprogpsykologi research group at NorS, where she conducts both teaching and research activities. Her work bridges theoretical linguistics with practical applications in clinical psychology and forensic contexts, particularly through her analysis of language patterns in threatening communications and atypical interaction scenarios.

Andrzej WąsowskiView profile

Professor

• Software Engineering
• Formal Methods
• AI and Robotics
• +8 more

Andrzej Wąsowski is a Professor in the Computer Science Department at IT University of Copenhagen. His research focuses on software engineering, formal methods, AI/robotics, and safety-critical systems. He leads projects like REMARO (Marine Robotics reliability) and INSIGHT (program repair). His work emphasizes model-driven engineering, probabilistic systems, and open-source collaboration. Research Interests Formal Verification of Autonomous Systems Probabilistic Programming and Privacy Analysis Software Product Line Engineering Robotics and Cyber-Physical Systems Recent Work Recent articles explore symbolic execution for probabilistic programs, risk-aware marine robotics planning, and privacy quantification in genetic data. He has contributed over 200 ROS bug findings and developed tools like Clafer for model-based design. Teaching & Community Teaches courses in probabilistic programming, advanced software analysis, and model-driven development. Active in open-source communities, including ROS and Clafer. Supervised 20+ PhD students who now hold academic and industry positions. Labs & Projects Leads the SQUARE Group and VBDB bug database. Coordinates the REMARO EU training network. Previously worked on ROSIN (robot software quality) and EBA (Linux kernel analysis).

• Programming Languages
• Formal Methods
• Logic in Computer Science
• +9 more

Dmitriy Traytel is an Associate Professor in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society research section. His work bridges formal methods, programming languages, and runtime verification, with a strong emphasis on correctness and efficiency. His research focuses on the logical and formal foundations of programming systems, including syntax with bindings, higher-order logic, type systems, and temporal logics. He develops verified tools and frameworks for runtime monitoring, policy enforcement, and query evaluation, often using interactive theorem provers like Isabelle/HOL. His recent publications demonstrate a consistent contribution to top venues such as POPL, CAV, and TACAS. The trends in his recent articles show a deep engagement with runtime verification , particularly in developing explainable , efficient , and first-order monitoring techniques. He combines theoretical rigor with practical tool building, as seen in systems like WHYMON and TimelyMon. His work often intersects with security policies, functional programming, and formal semantics. He has not been mentioned in the text as receiving scientific awards, but his publication record in premier venues indicates high scholarly impact. While no students are explicitly listed, his role as an Associate Professor and active researcher suggests involvement in advising. There is no mention of specific grants, but his participation in a Promotion Programme implies institutional support. He is part of a vibrant research environment within the Department of Computer Science, which is involved in the SCIENCE AI Centre, suggesting interdisciplinary collaboration potential. Traytel maintains a personal website and ORCID profile, and his contact information is publicly available. He is actively contributing to the research output of the department, with 59 recorded publications, including journal articles and conference proceedings.

Nina GierasimczukView profile

Associate Professor

• Epistemic Logic
• Formal Learning Theory
• Artificial Intelligence
• +3 more

Nina Gierasimczuk is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), affiliated with the Algorithms, Logic and Graphs research group. Her work focuses on formal learning theory, epistemic logic, and computational models of cognitive processes. She holds a PhD from 2010, titled Knowing one's limits: Logical analysis of inductive inference . Her research interests include the logical foundations of learning, multi-agent systems, and the dynamics of knowledge and belief revision. She has supervised multiple PhD students in areas like dynamic logic, formal learning, and AI applications. Key projects involve modeling cognitive agents, semantic universals, and belief revision mechanisms in artificial intelligence contexts. Publications span topics such as causal intervention learning, semantic alignment in populations, and the integration of logic with learning theory. Her work bridges theoretical computer science, philosophy, and cognitive science. She is actively involved in international workshops and conferences, contributing to the advancement of dynamic logic and epistemic systems. Professional activities include examining PhD theses, advising on multi-agent systems, and collaborating on projects like hospital staff planning with multi-agent goals. Her research has been published in venues like Journal of Logic and Algebraic Programming and proceedings of the International Workshop on Dynamic Logic .

Lars BirkedalView profile

Professor

• Logic and Semantics of Programming Languages
• Type Theories
• Program Logics
• +6 more

Lars Birkedal is a Professor of Computer Science at Aarhus University, Denmark, where he serves as Head of the Logic and Semantics Group. He previously held positions at the IT University of Copenhagen until 2012 and served as Head of Department of Computer Science at Aarhus from 2014 to 2017. His educational background includes a Ph.D. in Computer Science from Carnegie Mellon University, USA, completed in December 1999. Birkedal's primary research interests focus on the logic and semantics of programming languages and type theories. His current work centers on program logics for reasoning about distributed, concurrent, higher-order, and imperative programs; cyber-security; and type theories with guarded recursion. He has made significant contributions to separation logic, particularly through the development of the Iris framework, which earned him the 2023 Alonzo Church Award. His research bridges theoretical foundations with practical applications in program verification and security. His recent publications demonstrate a strong trend toward mechanized verification of complex systems, with particular emphasis on concurrent and distributed programming. The research spans multiple subfields including separation logic variants, capability systems, information flow security, and formal verification of low-level systems. A notable pattern is the integration of logical frameworks with practical verification tools, often implemented in proof assistants like Coq. His scientific achievements have been recognized with numerous prestigious awards: Fellow of the ACM ERC Advanced Grant from the European Research Council (2023) 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation Villum Investigator grant from the Villum Foundation (2019) Danish Minister of Research Elite Research Award (2015) Sapere Aude Advanced Grant from the Danish National Science Research Council (2013) ACM SIGPLAN Milner Award (2013) Birkedal has advised numerous PhD students and postdocs, including Lau Skorstengaard, Kristoffer Just Andersen, Morten Krogh-Jespersen, and Robbert Krebbers. His research has been supported by significant grants including an ERC Advanced Grant (2023), a Villum Investigator grant (2019), and a Sapere Aude Advanced Grant (2013). He has served in editorial roles including Editor-in-Chief of Logical Methods in Computer Science (2014-2020) and Chairman of the board, and as PC Chair for POPL 2020. He leads the Logic and Semantics Group at Aarhus University and has been instrumental in several major research projects including the CHORDS project (Compositional Higher-Order Reasoning about Distributed Systems) and the Center for Basic Research in Program Verification (CPV). His earlier ModuRes project (Modular Reasoning about Concurrent Higher-Order Imperative Programs) laid important groundwork for verification of modern programming language features.

Rasmus Ejlers MøgelbergView profile

Professor

• Denotational semantics of programming languages
• type theory
• category theory
• +5 more

Rasmus Ejlers Møgelberg is a Professor at the IT University of Copenhagen, where he leads the Section for Theoretical Computer Science and coordinates the Programming, Logic and Semantics research group. His academic career includes prior postdoctoral positions at DISI (Universita di Genova) and LFCS (University of Edinburgh). His research spans denotational semantics of programming languages , type theory , category theory , guarded recursion , and domain theory , with applications in modeling computational effects and parametric polymorphism. Current work focuses on guarded type theory for reactive and probabilistic programming systems. Recent publications (2019-2025) demonstrate consistent innovation in guarded recursion frameworks, including denotational models for clocked type theory, guarded dependent types, and modal logics for reactive programming. Key trends involve bridging category theory with practical programming language features to handle recursion, concurrency, and probabilistic choice. He has supervised three PhD students to completion: Magnus Baunsgaard Kristensen (2022, Cubical Modal Type Theories), Christian Uldal Graulund (2021, Type Theories for Reactive Programming), and Marco Paviotti (2016, Denotational Semantics in Guarded Type Theory). Postdoctoral researchers include Maaike Zwart (current), Andrea Vezzosi, Niccolo Veltri, Bassel Mannaa, and Patrick Bahr (now ITU associate professor). His research is funded by the Independent Research Fund Denmark project "Algebraic Effects and Guarded Recursion" (2022-2025). As coordinator of the Programming, Logic and Semantics group, he directs theoretical research on programming language foundations, emphasizing denotational semantics and type systems for next-generation language design.

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.

Andrzej WasowskiView profile

Professor

• Software Engineering
• Software Product Lines
• Model Driven Development
• +5 more

Andrzej Wasowski is a Professor and research group leader at the IT University of Copenhagen , specializing in Software Engineering and Software Quality Research (SQUARE) . He leads projects involving underwater robotics , AI verification , and probabilistic programming , with a focus on model-driven development and variability in systems . Key Collaborations: Innovation Fund Denmark, European Commission, Danmarks Frie Forskningsfond Research Trends include underwater image segmentation , safety analysis of autonomous vehicles , and symbolic methods in probabilistic programs . His work integrates formal methods with real-world applications in marine technology. Projects like VARIETE and DIREC explore dependable systems and verifiable AI . He has contributed datasets to ZENODO and participated in workshops on domain-specific language design and software testing .

Troels AndreasenView profile

Associate Professor

• Computer Science
• IT
• Databases and knowledge bases
• +6 more

Troels Andreasen is an Associate Professor at the Department of People and Technology, Roskilde University. His research focuses on advanced query systems, artificial intelligence, and knowledge base modeling. Computer Science Databases and knowledge bases Fuzzy logic and quantities Intelligent search engines His work explores natural logic frameworks for database querying, flexible query answering systems, and intelligent information retrieval methods. Recent publications analyze computational intelligence for search systems and logic-to-database integration techniques. Notable projects include: SEAFACTS (2023-2025) - Digital platform for maritime history MemoryMechanics (2020-2023) - Memory systems research NorDigHealth (2019-2021) - Regional digital health solutions Kulturportalen (2014-2017) - Cultural heritage platform He has served on program committees at international conferences and participated in external organizations like University of Granada and Aalborg University. Media engagements highlight his expertise in search engine evolution and fuzzy logic applications since 2005.

Torben BraünerView profile

Professor

• Hybrid Logic
• Computational Logic
• Cognitive Psychology
• +7 more

Torben Braüner is a Professor in the Department of People and Technology Programming, Logic and Intelligent Systems at Roskilde University, Denmark. His work bridges formal logic and cognitive psychology with significant contributions to autism spectrum disorder research. He maintains an active research program with 97 publications and multiple funded projects. Professor Braüner's research spans several interconnected domains: Development and application of hybrid logic systems Formal reasoning and proof theory Cognitive psychology, particularly Theory of Mind phenomena Autism Spectrum Disorder (ASD) diagnostic approaches Linguistic recursion and language development in neurodiverse populations Temporal logic and philosophical implications of formal systems His recent publications demonstrate a strong interdisciplinary trajectory, combining sophisticated logical frameworks with empirical psychological research. The majority of his work since 2019 focuses on applying hybrid logic to model cognitive processes in ASD populations, particularly analyzing false-belief tasks and linguistic recursion patterns. His research shows increasing collaboration with cognitive scientists and psychologists, reflecting the maturation of this interdisciplinary field. Professor Braüner has secured significant research funding including: VELUX FONDEN for 'Hybrid-Logical Proofs at Work in Cognitive Psychology' (2014-2019) The Danish Natural Science Research Council for 'HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods' (2009-2013) The Danish Natural Science Research Council for 'HyLoMOL: Hybrid Logic Meets Other Logics' (2005-2008) His academic engagement includes regular presentations at major conferences such as the European Conference on Artificial Intelligence and the Nordic Logic Summer School, demonstrating his active role in both logic and cognitive science communities.

Gozde UnalView profile

Professor

• Artificial Intelligence
• Computer Vision
• Deep Learning
• +3 more

Gozde Unal is a Full Professor in the Department of Computer Engineering at Istanbul Technical University's Faculty of Computer and Informatics Engineering, where she also serves as director of the ITU Vision Lab and founding professor of the AI&Data Engineering Department. She previously held faculty positions at Sabancı University and conducted industry research at Siemens Corporate Research. Her educational background includes a PhD in Electrical and Computer Engineering with a Mathematics minor from North Carolina State University (2002), following postdoctoral work at Georgia Institute of Technology. Professor Unal's research pioneers intersections of Artificial Intelligence and Computer Vision, with significant contributions to medical imaging, 3D reconstruction, and architectural heritage preservation. Her work on diffusion models, adversarial point cloud attacks, and training-free segmentation demonstrates technical innovation while addressing real-world challenges in healthcare diagnostics and cultural conservation. The integration of multi-modal dynamics and evidential deep learning reflects her forward-looking approach to uncertainty quantification in AI systems. Analysis of her 2023-2025 publications reveals dominant trends in point cloud processing for historical reconstruction, medical image segmentation using Bayesian frameworks, and continual learning architectures. These works consistently bridge theoretical advances with applications in architectural heritage documentation and clinical diagnostics, particularly through novel diffusion model adaptations. Her scientific leadership has been recognized through prestigious awards: L’Oreal Turkey’s Female Scientist Award in Life Sciences (2010) Distinguished Young Scientist Award from TUBA (GEBIP) Marie Curie Alumni Association Career Award (2017) As technical program co-chair for MICCAI 2016 and MIDL 2019, she has shaped international discourse in medical image computing. Her lab direction indicates active graduate supervision, though specific student names aren't documented in the source material. The ITU Vision Lab under her leadership drives cutting-edge research in medical image analysis and 3D scene understanding, while her role in founding the ITU-AI Research Center establishes institutional frameworks for interdisciplinary AI innovation across the university.

• Programming Languages
• Theory of Computation
• Computer Science

Finn Schiermer Andersen serves as a Part-time Lecturer at the Department of Computer Science (DIKU), University of Copenhagen, where he is actively affiliated with the Programming Languages and Theory of Computation research section. His role integrates teaching responsibilities with foundational research in computational theory within Denmark's premier computer science institution. His research concentrates on Programming Languages and Theory of Computation, exploring formal language structures, compiler design, computational complexity, and mathematical logic underpinnings. These disciplines form the theoretical backbone of computer science, driving innovations in software verification, language semantics, and algorithmic efficiency while maintaining strong connections to practical implementation challenges. Contact for academic collaboration is facilitated through his official departmental email finn@di.ku.dk , with physical location at Universitetsparken 5, Building B, 2100 Copenhagen Ø, Denmark, within DIKU's dedicated research facilities.

• Programming language semantics
• Computational effects
• Formal verification
• +2 more

Andrzej Filinski is an Associate Professor at the Programming Languages and Theory of Computation section within the Department of Computer Science at the University of Copenhagen. His research focuses on applied programming-language semantics, particularly computational effects and machine-verifiable reasoning about programs. University: University of Copenhagen Department: Department of Computer Science Research Interests: Operational semantics of monadic effects, game-theoretic program contracts, formal verification, concurrency, distributed systems, and code certification. Recent Publications include work on information flow logic using partial equivalence relations (2024), functional approaches to regular expression matching (2021), and streaming nested data parallelism on multicore systems (2016). His research spans theoretical foundations and practical applications in programming languages and computational theory.

• Computer Science
• Programming Languages
• Theory of Computation

Christian Mølholt Jensen is a Lecturer at the Department of Computer Science, University of Copenhagen, affiliated with the research section on Programming Languages and Theory of Computation. His work focuses on core computer science disciplines including formal language theory, computational models, and software verification methodologies. Research interests center on advancing foundational aspects of programming language design and theoretical computational frameworks. Key areas include algorithmic complexity, semantics of programming languages, and computational logic.