Find Academic Supervisors

• WebAssembly
• Formal Verification
• Memory Models
• +3 more

Jean Pichon-Pharabod is a Tenure Track Assistant Professor in the Department of Computer Science at Aarhus University, Denmark, with an office at Åbogade 34 in Aarhus N. His research spans formal verification, programming languages, and computer architecture, focusing on foundational work for secure and reliable systems. His primary research interests include the formal verification of WebAssembly, relaxed memory models for architectures like Arm, and security invariants for virtualized environments. He develops mechanized proofs using frameworks like Iris and Coq to establish robust safety properties for compilers, hypervisors, and low-level systems. His work bridges hardware semantics with programming language theory to address concurrency challenges in modern architectures. Analysis of his 2021-2025 publications reveals a consistent focus on verified compilation (CertiCoq-Wasm), axiomatic semantics for relaxed architectures (AxSL logic), and memory-safe WebAssembly verification (Iris-MSWasm). His research demonstrates strong international collaboration, particularly with Lars Birkedal at Aarhus University, and targets high-impact venues like PACMPL and CPP. Key trends include mechanized separation logics for virtual machines (VMSL) and formal elucidation of hardware-software interfaces for security-critical systems.

Patrick BahrView profile

Associate Professor

• Type Systems
• Compilers
• Functional Programming
• +4 more

Patrick Bahr is an Associate Professor at the IT University of Copenhagen and Co-Head of Education for the Master of Software Design program. His research focuses on developing programming languages and tools to ensure high-assurance software through formal methods. Education : PhD in Computer Science (2012), University of Copenhagen; MSc in Computational Logic (2009), Dresden & Vienna University of Technology; BSc in Computer Science (2008), Dresden University of Technology Patrick's research spans Type Systems , Compilers , and Functional Reactive Programming (FRP) , emphasizing Modal Types to ensure causality and productivity. His work includes Formal Verification of compiler correctness and Domain-specific Languages for enterprise and financial contracts. Recent publications highlight trends in Graph-Based Compilers , Asynchronous FRP , and Guarded Recursion . His methodologies often integrate Haskell and Agda for verified implementations. Key contributions include Sound-By-Construction Type Systems and Monadic Compiler Calculation . Scientific Awards : Best Contribution to RTA 2010 DIKU Paper of the Year 2012 He actively contributes to program committees (e.g., TFP 2026, ICFP 2024) and has led research projects like Guarded Recursive Types funded by the Danish Independent Research Fund (2015-2019). Collaborations span institutions such as the University of Nottingham and Utrecht University.

• Language Education
• Curriculum Development
• Sociolinguistics
• +3 more

Sonja Barfod Lund is a researcher at the Department of English, Germanic and Romance Studies within the Faculty of Humanities at the University of Copenhagen. Her work focuses on curricular coherence in language subjects across educational levels (vertical alignment) and between language programs (horizontal alignment). She holds a PhD in sociolinguistics from Roskilde University (2017) and a MA in Danish and German (2009). University of Copenhagen: Postdoctoral Researcher (2022-2023) National Centre for Foreign Languages (NCFF): Research Consultant (2022-2023) Roskilde University: Lecturer (2011-2013) Research Focus: Sonja's research examines the disconnect between language teaching theory and practice in Scandinavian education systems. Key areas include: Curriculum design in language education Vertical progression from secondary to tertiary levels Horizontal consistency across language programs Student perspectives on language learning Her projects often incorporate historical analysis and contemporary educational challenges. Scientific Contributions: Recent work analyzes foreign language teaching barriers in Danish schools, student cognition in language programs, and multilingual corporate environments. She employs mixed methods combining qualitative interviews and policy document analysis. Collaborations: Active in Nordic educational networks, she collaborates with Uppsala University and Roskilde University researchers on language teaching innovations and curriculum harmonization projects.

• Second Language Acquisition
• Second Language Pedagogy
• Pragmatics and Second Language Pragmatics
• +5 more

Natalia Morollon Marti serves as a Teaching Associate Professor at the Department of English, Germanic and Romance Studies within the University of Copenhagen's Faculty of Humanities. Her academic work centers on second language education with specialized expertise in Spanish language pedagogy, intercultural competence development, and digital learning methodologies within Danish higher education contexts. Her research program spans multiple interconnected domains: Second Language Acquisition and Pedagogy Pragmatics and Sociopragmatic Awareness Intercultural Competence Development Identity and Emotional Dimensions in Language Learning Online Intercultural Exchange through Telecollaboration Digital Media Integration in Language Teaching Academic Literacy across Multilingual Settings Analysis of her publication history reveals a cohesive research trajectory focused on applying sociocultural theory to practical language teaching challenges. Her recent work demonstrates particular emphasis on concept-based instruction for pragmatics, telecollaboration design for intercultural exchange, and academic literacy development across multilingual contexts. This research consistently bridges theoretical frameworks with classroom applications, highlighting the role of digital tools in enhancing linguistic and intercultural outcomes. Scientific Awards: No awards documented in available sources. Advising and Grants: Source materials did not specify graduate student supervision details or research grant funding information. Research Infrastructure: No dedicated laboratories or formal research teams were mentioned in institutional documentation.

• Health Services Research
• Migrant Health
• Healthcare Interpretation
• +3 more

Camilla Michaëlis serves as a Guest Researcher in the Department of Public Health, Section of Health Services Research at the University of Copenhagen, focusing on critical intersections between migration, healthcare access, and policy implementation. Her work addresses systemic barriers faced by non-Danish-speaking populations within European health systems. Her research program centers on three core domains: (1) the impact of financial barriers (e.g., user fees) on professional interpreter utilization in clinical settings; (2) development of evidence-based diversity competence frameworks for healthcare providers; and (3) identification of structural and cultural obstacles to equitable migrant healthcare. Methodologically, she employs mixed approaches including systematic reviews, Delphi consensus building, and in-depth qualitative interviews with both patients and providers. Analysis of her 2022-2024 publications reveals a clear trajectory toward policy-relevant research, with growing emphasis on actionable solutions for interpreter service delivery and standardized diversity training curricula. Her work consistently connects micro-level clinical interactions with macro-level health system design, particularly within Scandinavian and broader European contexts. Notably, several studies have influenced policy discussions, as evidenced by references in governmental health directives.

Iben ChristensenView profile

Assistant Professor

• Communication Partner Training
• Cognitive-communication disorders
• Acquired Brain Injury
• +3 more

Iben Christensen serves as a Tenure Track Assistant Professor and Research Assistant in the Department of Nordic Studies and Linguistics at the University of Copenhagen's Faculty of Humanities. Her work bridges clinical practice and academic research in communication disorders, with a focus on developing evidence-based interventions for healthcare professionals working with neurologically impaired populations. Education: MA in Speech Therapy, University of Copenhagen (2009), specializing in Cognitive Communication Disorders after Traumatic Brain Injury using the FAVRES assessment tool Christensen's research centers on Communication Partner Training (CPT) methodology, particularly for health professionals managing cognitive-communication disorders following acquired brain injuries. She developed the Health Professionals and Aphasia Questionnaire to evaluate CPT implementation, employing user-centered methodologies including cognitive interviews and video-stimulated recall with patients. Her current PhD project applies implementation science frameworks (Theoretical Domains Framework and Behavior Change Wheel) to design CPT interventions for cognitive-communication disorders. Her work emphasizes practical clinical translation while maintaining rigorous qualitative evidence synthesis standards. Analysis of her 2024-2025 publications reveals a cohesive research trajectory examining communication dynamics across neurological conditions (TBI, dementia, aphasia). Her work consistently prioritizes patient and caregiver perspectives through qualitative evidence syntheses, while developing measurable outcomes for CPT interventions. Key methodological strengths include systematic review protocols, mixed-methods implementation research, and cross-cultural adaptation of communication tools. Scientific Awards: No awards documented in source materials. Christensen maintains active clinical engagement alongside academia, having served as a speech therapist at Copenhagen University Hospital (2006-2016) and Neurorehabilitering Selma Marie (2016-2019). Her external academic role included part-time lecturing at the University of Southern Denmark (2019). She leads the NEUKOM research network focused on neurological communication disorders, fostering international collaboration through country-level partnerships visible in her publication co-authorship patterns. Her current research infrastructure includes the NEUKOM network and implementation science frameworks guiding her PhD work. Future directions indicate expansion into dementia-related communication partner training and cross-diagnostic application of CPT methodologies across neurological conditions.

• Computer Science
• Algorithms
• Programming Languages
• +1 more

Jakob Holst Svenningsen is a Lecturer in the Department of Computer Science at the University of Copenhagen, based at Universitetsparken 1, 2100 København Ø, Denmark. His contact email is jasv@di.ku.dk and departmental information is available at https://diku.dk/ . His academic work centers on foundational computer science disciplines, with emphasis on: Algorithm design and analysis Programming language theory and implementation Software engineering principles Computational systems development

Jes Lynning HarfeldView profile

Associate Professor

• Environmental Philosophy
• Animal Ethics
• Healthcare Ethics
• +5 more

Jes Lynning Harfeld is an Associate Professor at the Department of Culture and Learning within the Faculty of Social Sciences and Humanities at Aalborg University. He specializes in sociocultural aspects of sustainability and green transitions, with affiliations to AAU Arctic and Green Societies. His research focuses on environmental and animal philosophy, ethics of human-non-human interactions, and philosophy of healthcare/medicine, including topics like animal welfare, diagnostics, and human enhancement technologies. Harfeld’s teaching responsibilities include courses on academic philosophy, ethics, environmental philosophy, and sustainability. He coordinates the praxis semester and master thesis phase for students, advising numerous master theses annually. He is also a member of the Faculty’s Academic Council. His research interests span ethical issues in animal husbandry, rewilding, hunting, and biomedical ethics. He has contributed to defining positive animal welfare metrics and exploring philosophical frameworks like Murdoch and Deleuze. His work intersects with UN Sustainable Development Goals related to Philosophy, Biomedicine, and Public Health. Harfield has been recognized with multiple teaching awards, including Årets underviser at Aalborg University (2021–2023). He actively engages in interdisciplinary projects such as MAMBO (biodiversity monitoring) and LIFT (positive farm animal welfare). His media contributions include the podcast series Den Digitale Agora , discussing AI, education, and digital pedagogy. His academic network includes collaborations on topics like generative AI in learning, ethical dilemmas in hunting, and the digital agora’s role in education. He also participates in public debates on animal welfare, ethics of whaling, and sustainability policies.

Erik Ottar JensenView profile

Assistant Professor

• Game-Based Learning
• Mathematical Reasoning
• Digital Learning Design
• +12 more

Erik Ottar Jensen is an Assistant Professor in the Department of Communication and Psychology at Aalborg University, under the Faculty of Social Sciences and Humanities. His work bridges digital technology, learning design, and educational psychology, with a strong focus on game-based learning and inclusive pedagogies. Institution: Aalborg University School: Faculty of Social Sciences and Humanities Department: Department of Communication and Psychology Research Lab: ILD-LAB – Research Lab for IT and Learning Design Additional Affiliation: Institute for Advanced Study in PBL His research centers on enhancing learning through digital tools and games, particularly in primary education and mathematics. He investigates how strategic board games like Othello can improve mathematical reasoning, how AI tools can support creative design processes, and how educational esports can empower vulnerable youth. His interdisciplinary approach integrates psychology, communication, and technology to create human-centered educational solutions. The recent publications show a consistent trend in leveraging games and digital media to transform teaching and learning. Topics span from AI in design education to inclusive board game jams and mathematical identity formation. These works reflect a commitment to innovative, evidence-based, and socially aware educational practices. Erik Ottar Jensen has been involved in significant research projects such as 'GBL21: Game-Based Learning in the 21st Century' and 'Sæt skolen i spil', contributing to both theoretical and practical advancements in educational design. While no formal awards are listed, his extensive publication record and active research trajectory demonstrate scholarly impact. He completed his PhD in 2023 with a thesis on game-based mathematics education from a scenaric didactic perspective. His advising roles and grant acquisitions are not specified in the available data. He is associated with ILD-LAB and contributes to the development of learning technologies and pedagogical models grounded in problem-based and project-based learning traditions.

Mikkel Paltorp SchmittView profile

Researcher

• Numerical Acoustics
• Boundary Element Method
• Fast Multipole Method
• +6 more

Mikkel Paltorp Schmitt is a Postdoctoral Researcher in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). His research focuses on computational methods for acoustics, particularly in developing efficient numerical techniques for solving complex acoustic problems with viscothermal effects. Dr. Schmitt completed his PhD at DTU in 2023 with a thesis titled Computational Improvements in the Boundary Element Method for Acoustics including Viscothermal Dissipation . His educational background reflects a strong foundation in applied mathematics and computational science. Schmitt's research primarily centers on advancing the Boundary Element Method (BEM) for acoustics applications. His work addresses the computational challenges associated with viscothermal losses in acoustic systems, which are critical for accurate modeling of small-scale acoustic devices. He has made significant contributions to reduced order modeling , fast multipole methods , and the implementation of these techniques using the Julia programming language . His research spans numerical mathematics, computational physics, and engineering applications, with particular focus on boundary layer impedance conditions and efficient matrix computations. His publication record shows a clear progression in developing more sophisticated computational frameworks for viscothermal acoustics. Schmitt has focused on incorporating boundary layer effects, creating open-source software solutions, and applying advanced mathematical techniques like Schur complement to improve computational performance. His work bridges theoretical numerical methods with practical engineering applications in acoustic device design. He is currently involved in research projects including Physics-Informed and Data-Driven Structural Health Assessment of Offshore Infrastructures (2025-2027) where he serves as a Project Applicant, building on his previous PhD work on numerical optimization for acoustic micro-devices. Schmitt regularly presents at international conferences and collaborates with institutions like the Technical University of Munich, demonstrating his active engagement in the global research community.

Anna Opstrup LarsenView profile

Researcher

• Social and Healthcare Education
• Collaborative Organizational Learning
• Vocational Education and Training (VET)
• +5 more

Anna Opstrup Larsen is a PhD Fellow at the Department of Culture and Learning, Faculty of Social Sciences and Humanities, Aalborg University, specializing in collaborative research within Social and Health Education (SOSU). Her work bridges academic research and practical implementation in vocational education settings. Her educational background includes a Master of Arts in Pedagogy from the University of Copenhagen. This foundation supports her current doctoral research on knowledge co-creation processes. Larsen's research centers on developing inter-organizational language systems between researchers, SOSU schools, and municipalities to strengthen the knowledge base of social healthcare education. She investigates how collaborative research methodologies can transform traditional knowledge transfer into dynamic knowledge transactions, with particular focus on organizational capacity building and professional practice development within vocational education frameworks. Her publication trends reveal a consistent trajectory from theoretical pedagogical exploration (2017) toward innovative methodological development (2024) and systemic transactional models (2025), demonstrating evolution from conceptual analysis to practical intervention frameworks in VET research. She serves as Principal Investigator for the PhD project "On the Hunt for the Knowledge Base of SOSU Education" (2024-2027) and contributes as Project Participant to "Developing Organizational Capacity for Research-Informed Work" (2024-2026) and as Co-Investigator for "Complementum – Increased Completion Through Learning Communities" (2023-2025), securing significant research funding for collaborative educational development. Larsen operates within Aalborg University's Collaborative Organizational Learning (CO-LEARN) research environment, working closely with municipal partners and SOSU institutions to implement practice-based research models that directly impact educational quality and professional development in Denmark's social healthcare sector.

Ken Friis LarsenView profile

Associate Professor

• Computer Science
• Functional Programming
• Programming Language Design
• +5 more

Ken Friis Larsen is an Associate Professor at the University of Copenhagen in the Algorithms and Programming Languages (APL) research group. His work focuses on functional programming languages (e.g., Standard ML, Haskell, OCaml, Scheme), language design , and formal methods . Active in the HIPERFIT research center Participant in the WallViz project Key contributor to open-source projects like Moscow ML , mGTK , HOL 4 , and PaML

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.

Nina RottmannView profile

Associate Professor

• Psychosocial aspects of chronic illness
• Dyadic coping in health contexts
• Existential psychology
• +5 more

Nina Rottmann is an Associate Professor in Community Psychology at the Department of Psychology, University of Southern Denmark, with clinical expertise in health and rehabilitation psychology. Her research focuses on psychosocial and existential adaptation to life-threatening/chronic illnesses (cancer, heart disease, COVID-19) and support for patients/relatives. Key research themes: dyadic coping, meaning in life, couple dynamics in illness contexts Methodological expertise: mixed-methods, qualitative, and quantitative approaches Current projects: intervention development for cardiac/cancer rehabilitation Her 15 most recent publications address digital health innovations, psychosocial mechanisms in chronic disease, and existential rehabilitation programs. She has received grants from the Danish Heart Foundation and Børnehjertefonden, with media recognition for her clinical research. Scientific awards: Danish Heart Foundation grant (2024), Børnehjertefonden grant (2024) Media appearances: Interviewed on cancer-related language, alternative care funding, and heart research recognition

• 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.