Find Academic Supervisors

Cosmin Eugen OanceaView profile

Associate Professor

• Programming Language Design and Implementation
• Compiler Optimization
• Automatic Parallelization
• +7 more

Cosmin Eugen Oancea serves as an Associate Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science (DIKU), University of Copenhagen, Faculty of Science. His academic profile shows active engagement in research, teaching, and collaboration within the computer science community. Education: PhD in Computer Science from Western University (completed November 20, 2005) Dissertation title: "Parametric Polymorphism for Software Component Architectures and Optimizations" Oancea's research spans multiple domains within computer systems, with primary focus on static, dynamic and hybrid techniques for automatic parallelization (optimizing compilers), programming language design and implementation, memory management, and computer algebra. His recent work demonstrates strong connections between functional programming, array languages, and high-performance computing, with applications in financial modeling, automatic differentiation, and time series analysis. He has made significant contributions to the Futhark programming language ecosystem, focusing on compiler optimizations and performance tuning for GPU architectures. His publication record shows consistent output in top-tier venues including SC (International Conference for High Performance Computing), IFL (Symposium on Implementation and Application of Functional Languages), and ARRAY (Workshop on Libraries, Languages and Compilers for Array Programming), with a notable concentration of publications from 2021-2023. His research demonstrates interdisciplinary connections between computer science theory and practical applications in finance, environmental data analysis, and machine learning infrastructure. Oancea maintains active international collaborations across multiple countries, as indicated by the network visualization of his research partnerships. His work bridges theoretical computer science with practical implementations, particularly in the domain of array programming and compiler optimization for parallel architectures.

• Abstract interpretation
• Termination analysis
• Formal languages
• +13 more

James Emil Avery is an Associate Professor at the Department of Computer Science, Faculty of Science, University of Copenhagen. His research spans abstract interpretation, termination analysis, and quantum chemistry applications using Coulomb Sturmians. He actively contributes to program analysis, computational methods in physics, and discrete mathematics. Research areas: Formal languages, operator algebra, quantum theory, and computational nanoscience Academic activities: VILLUM Young Investigator Program (2017), Editor for IET Nanobiotechnology (2017-2021) Technical publications: 15+ works on quantum chemistry methods, graph theory, and parallel computing His recent work includes simulating fullerene formation, solving wave equations on non-Euclidean surfaces, and developing symmetry-adapted basis sets. He has presented at international conferences on topics ranging from wave equation modeling to carbon nanostructure analysis. Scientific Awards: VILLUM Young Investigator Program grant recipient As an active researcher, Avery has participated in collaborative projects like the ERC Starting Grant evaluation and contributed to programming language development through the Bohrium framework. His editorial work at IET Nanobiotechnology demonstrates commitment to scientific peer review.

• Reversible Computation
• Programming Languages
• Functional Programming
• +5 more

Michael Kirkedal Thomsen is an Associate Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science (DIKU), University of Copenhagen's Faculty of Science. His research focuses on reversible computation and programming language theory, with significant contributions to invertible functional programming languages. He maintains an active research profile with numerous publications in the field of reversible computing. Thomsen's research interests center around reversible computation , programming languages , and functional programming . His work explores the theoretical foundations and practical implementations of reversible systems, with particular attention to program transformations, semantics, and energy efficiency implications. His research bridges theoretical computer science with practical applications in programming language design. His recent publications demonstrate a clear trend toward developing practical reversible programming languages like Jeopardy and analyzing their properties. The research spans theoretical aspects of reversible semantics to practical considerations like energy overhead when executing reversible programs on conventional hardware. His work connects computer architecture, programming language theory, and formal methods. Marie Curie Fellowship Thomsen has presented his research at conferences including talks on 'Reversible Functional Programming Languages' and 'Programming in Reversible Computing and its application to speculative execution.' His research has garnered significant academic attention with multiple publications receiving numerous citations. He collaborates internationally across various institutions, contributing to the global advancement of reversible computing research. Thomsen maintains an active research profile with regular publications in specialized conferences on reversible computation. His work appears to be centered in the Programming Languages and Theory of Computation research group at DIKU, where he contributes to advancing theoretical computer science with practical implications for energy-efficient computing and language design.

• Programming Languages
• Theory of Computation
• Formal Verification
• +4 more

Tudor-Ovidiu Pal is a Lecturer at the Department of Computer Science , University of Copenhagen, contributing to teaching and research in programming language technology and theoretical computer science. He is affiliated with the Programming Languages and Theory of Computation Section (PLTC), which focuses on foundational and applied research spanning algorithmic programming, formal verification, computer security, and high-performance computing systems. His work intersects with key research groups within PLTC, including investigations into secure networked systems (blockchain, distributed ledger technology), software-based security techniques, functional programming optimizations, and probabilistic programming applications in bioinformatics and AI-driven vaccine design. He also engages with topics like program inversion, reversible computing, and quantum programming paradigms through collaborative efforts with other researchers in the section.

Rasmus Magni JohannsenView profile

Assistant Professor

• Energy Planning
• Energy System Modelling
• Renewable Energy
• +5 more

Rasmus Magni Johannsen is an Assistant Professor at Aalborg University's Department of Sustainability and Planning, part of The Technical Faculty of IT and Design. His research focuses on sustainable energy planning, energy system modeling, and renewable energy transitions, contributing to UN Sustainable Development Goals (SDGs) such as affordable and clean energy (SDG7) and climate action (SDG13). He leads or participates in projects like CARMA-Green Fuels and Planning and Modelling of Local Integrated Energy Systems , emphasizing municipal energy systems and scenario development. He has published extensively on energy system scenarios, renewable energy metrics, and decarbonization pathways, with notable works including Enhancing Renewable Energy System Metrics (2025) and Three Directions for EU Natural Gas Replacement (2024). His work often bridges academic research and practical tools, such as the MUSEPLAN framework for municipal energy planning and the IndustryPLAN model for industrial decarbonization. He received the Best PhD Presentation award at the 8th International Conference on Smart Energy Systems (2022). Johannsen actively engages in peer review for journals like Energy and Utilities Policy , and collaborates internationally through networks like the PLAN Junior Researchers Network . His research addresses energy justice, flexibility in energy communities, and tax/tariff structures influencing energy transitions.

Sven KarlssonView profile

Associate Professor

• Parallel Computing
• Computer Architecture
• Compilers
• +4 more

Sven Karlsson is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). He is part of the Informatics and Mathematical Modelling faculty and affiliated with the Embedded Systems Engineering Center and the Center for Quantum Technologies. His expertise lies in parallel computer design, computer architecture, compilers, operating systems, and quantum computing infrastructure. Education: Civilingeniør from Lund University (LTH), Sweden (1997), and PhD in Teleinformatics from KTH Royal Institute of Technology, Sweden (2004). Postdoctoral research at FORTH-ICS, Greece, before joining DTU in 2007. Research interests include parallel computing systems, compiler optimization, quantum computing integration, and high-performance computing (HPC). His work spans application-specific hardware design, distributed quantum infrastructures, and autonomous HPC monitoring systems. Recent publications focus on quantum computing e-infrastructure (NordIQuEst), HPC-QC integration challenges, and optimizing parallel algorithms for multigrid solvers. He leads projects such as QUEX (Quantum Excellence Centre) and NordIQuEst, addressing quantum computing applications and cross-national collaboration. Teaching responsibilities include the course “Parallelle og tidstro systemer” and supervision of MSc/PhD projects. Current advisees include PhD candidates D. Guerrero Domínguez (Quantum Transport Applications), E.J. Fangel-Lloyd (Atmospheric Physics), and M. Gammelmark (Edge Computing for Renewable Energy).

Jaco van de PolView profile

Professor

• Model Checking
• Quantum Computing
• Symbolic Computation
• +5 more

Jaco van de Pol is a Professor at the Department of Computer Science, Aarhus University. His research focuses on formal methods, quantum computing, and symbolic computation. He specializes in model checking, timed automata, decision diagram algorithms, and quantum circuit synthesis. Education background includes expertise in computer science with a strong foundation in theoretical computer science and formal verification techniques. Key research interests include: Development of scalable symbolic algorithms for large systems Quantum circuit optimization using SAT-based approaches External memory implementations of decision diagrams Formal verification of real-time and parametric systems Recent work emphasizes quantum computing applications, such as layout-aware CNOT circuit synthesis for NISQ processors, and novel algorithms for parametric timed games. His contributions include the Adiar framework for external memory BDD manipulation and the Sylvan decision diagram library. No academic awards or grants are explicitly mentioned in the provided materials. He has advised multiple collaborations but no specific student names are listed. His research group focuses on advancing formal methods through practical tools and theoretical advancements.

Thore HusfeldtView profile

Professor

• Theoretical Computer Science
• Algorithms
• Graph Algorithms
• +3 more

Thore Husfeldt is a Professor of Theoretical Computer Science at the IT University of Copenhagen, leading the Algorithms Research Group. He holds a PhD from the University of Aarhus (1997), a Docent title from Lund University (2007), and has been a Professor at the University of Lund since 2012. His research focuses on algorithms, with a concentration on exponential time algorithms, combinatorial optimization, and graph theory. Education Bachelor (B.Sc.) in Computer Science and Mathematics, University of Aarhus (1993) Cand. scient. (M.Sc.) in Computer Science, University of Aarhus (1994) Ph.D. in Science (Computer Science), University of Aarhus (1997) Docent, Lund University (2007) Professor of Computer Science, Lund University (2012) Research Interests Husfeldt’s work explores foundational aspects of algorithms, including exponential time algorithms for hard problems, graph algorithms, and combinatorial optimization. His recent contributions address topics like cycle detection, path enumeration, and efficient algorithm design for NP-hard problems. His research bridges theoretical computer science with practical algorithmic challenges. Awards Best Paper Award at ICALP 2014 (Track A: Algorithms, Complexity, and Games) Excellence in Teaching Award (2018) Grants & Projects Husfeldt leads major initiatives such as the BARC2: Basic Algorithms Research Copenhagen (Villum Foundation), focusing on theoretical algorithm research, and DIREC , developing algorithms education through animated videos. He also collaborates on projects like Unifying Theories for Graph Modification Problems (Independent Research Fund Denmark). Labs & Teams He oversees the Algorithms Research Group at ITU and contributes to the BARC (Basic Algorithms Research Copenhagen) initiative, fostering collaborations in algorithmic theory and applications.

Maja Hanne KirkebyView profile

Associate Professor

• Energy-efficient Software
• Program Analysis
• Computer Science
• +3 more

Maja Hanne Kirkeby is an Associate Professor at Roskilde University , Denmark, affiliated with the Department of People and Technology Programming, Logic and Intelligent Systems . Her research focuses on energy efficiency in software and hardware systems, program transformation, and sustainable IT development. She has contributed to projects like Green IT-procurement and Energicertificeret softwareudvikling og drift . Her work bridges theoretical computer science and practical applications, emphasizing energy-aware software development. Key research areas include static communication analysis for hardware design, reversible computing, and optimizing Haskell compilers for energy efficiency. She actively participates in initiatives such as the CERCIRAS COST Action to promote resource-aware societies. Dr. Kirkeby has been involved in organizing events like the CERCIRAS Training School 2022 and serves on conference committees for programming language design and implementation. Her media engagements highlight concerns about AI's escalating energy consumption in data centers, advocating for stricter industry standards. Her research outputs emphasize empirical analysis and interdisciplinary collaboration, with publications in venues like Computer Science and Information Systems and ACM Symposium on Applied Computing .

• Theoretical Computer Science
• Formal Methods
• Programming Languages
• +5 more

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

Hans HüttelView profile

Associate Professor

• Process Calculi
• Type Systems
• Programming Languages
• +4 more

Hans Hüttel is an Associate Professor in the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. His research focuses on theoretical foundations of computer science with emphasis on programming languages and formal methods. His research interests span process calculi, type systems, concurrency theory, program synthesis, and security protocols. The fingerprint analysis of his work shows strong emphasis on Type Systems (100%), Process Algebra (27%), Cryptographic Protocols (22%), and Branching Time (18%). His recent work demonstrates a growing interest in the intersection of formal methods with emerging technologies like large language models. Hüttel's publication trend shows consistent output with 97 research outputs including 56 articles in proceedings, 17 journal articles, and 9 conference articles in journals. His most recent work (2024-2025) focuses on type systems for programming languages, program synthesis with LLMs, and functional array programming. Scientific Awards: CONCUR Test-of-Time Award (Sept 2020) Hüttel has participated in multiple research projects including TREsPASS (Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security), BETTY (Behavioural Types for Reliable Large-Scale Software Systems), and educational initiatives like PBL Exchange. He has 35 media appearances where he discusses topics ranging from AI ethics to university education reform. He leads research within the Distributed, Embedded and Intelligent Systems group and has been active in educational development through problem-based learning (PBL) initiatives at Aalborg University.

Emad Jacob MarounView profile

Research Fellow

• Worst-Case Execution Time Analysis
• Real-Time Systems
• Embedded Systems
• +3 more

Emad Jacob Maroun is a Research Fellow at the Department of Applied Mathematics and Computer Science within the College of Engineering at the Technical University of Denmark (DTU). His work centers on time-predictable computing with emphasis on Worst-Case Execution Time (WCET) analysis for safety-critical embedded systems. His research interests span Worst-Case Execution Time Analysis , Real-Time Systems , Embedded Systems Engineering , Instruction Set Architectures , and Time-Predictable Computing . Maroun focuses on creating deterministic execution environments through techniques like single-path code generation, tagged architectures, and hardware-software co-design for predictable timing behavior. Analysis of his recent publications reveals a strong trend toward solving WCET challenges in heterogeneous environments. His work bridges compiler design, hardware architecture, and real-time theory—particularly in Developing the Platin multi-target analysis framework Advancing Lingua Franca for real-time applications Designing internally-tagged instruction sets for safety Optimizing caching for mixed-criticality 5G systems His research directly addresses the timing predictability gap in modern complex hardware. Maroun actively contributes to the WCET research community through conference organization and tool development, though no formal scientific awards are currently documented. His collaborative work shows strong ties with the DTU Embedded Systems Engineering group and international researchers in real-time systems. While no formal students or major grants are mentioned in available records, his publications indicate leadership in multi-institutional projects like the Platin toolchain development. Maroun operates within DTU's Embedded Systems Engineering research environment, focusing on creating practical WCET solutions for industrial applications in safety-critical domains including telecommunications infrastructure and real-time control systems.

Hugo Daniel MacedoView profile

Associate Professor

• Digital Twins
• Formal Methods
• Cyber-Physical Systems
• +3 more

Hugo Daniel Macedo serves as an Associate Professor in the Department of Electrical and Computer Engineering at Aarhus University, where he leads research at the intersection of formal methods and cyber-physical systems. His primary institutional affiliations include the INTO-CPS initiative and the HUBCAP project, focusing on integrated toolchains for collaborative engineering design. His research spans critical domains in modern engineering: Digital Twins : Visualization frameworks, security architectures, and applications in autonomous systems (e.g., F1TENTH race cars) and sustainable infrastructure (floodwater management for Power-to-X) Formal Methods : Advancement of the Vienna Development Method (VDM), including tool integration with UML and Visual Studio Code Cyber-Physical Systems : Model-based design, co-simulation techniques, and lifecycle management for circular economy applications Analysis of his 2022-2024 publications reveals a strategic focus on operationalizing digital twins through formal verification, with significant contributions to floodwater resource systems and secure autonomous vehicle frameworks. His work consistently bridges theoretical formal methods with industrial applications, particularly in sustainable engineering contexts. Dr. Macedo actively supervises graduate students in digital twin implementation and formal verification methodologies, though specific advisee names are not publicly documented. His project leadership includes the EU-funded Digital Innovation HUBs initiative (2020-2022), which developed collaborative platforms for cyber-physical system design, securing substantial research grants for toolchain integration and security validation. He maintains active roles in the International Overture Workshop series as both contributor and proceedings editor, driving community standards for formal methods tooling. Current laboratory work centers on the INTO-CPS Application environment, where his team develops co-simulation frameworks for real-time digital twin deployment across automotive and environmental engineering domains.

Ege Holger RubakView profile

Associate Professor

• Spatial Statistics
• Point Processes
• Determinantal Point Processes
• +4 more

Ege Holger Rubak is an Associate Professor in the Department of Mathematical Sciences at Aalborg University's Faculty of Engineering and Science. His research focuses on spatial statistics, point processes, and random matrix theory with applications in computational methods and data analysis. He actively contributes to open-source statistical software development and serves as Principal Investigator for the Novo Nordisk Foundation-funded project AI - Aalborg Intelligence . Academic Rank: Associate Professor Institution: Aalborg University Department: Mathematical Sciences Research Interests: Spatial statistics, determinantal point processes, composite likelihood Email: rubak@math.aau.dk Research Trends: His recent publications emphasize spatial point process diagnostics, simulation methods for determinantal processes, and statistical modeling of complex systems. The 2025 dataset on residential household occupancy reflects interdisciplinary applications in smart energy systems. Collaboration: He collaborates extensively with researchers like Adrian Baddeley, Jesper Møller, and Rasmus Waagepetersen across institutions and disciplines.