Find Academic Supervisors

Dennis van LiempdView profile

Associate Professor

• Financial Accounting
• Auditing
• Non-financial Reporting
• +4 more

Dennis van Liempd is an Associate Professor in Accounting at the Department of Business and Management, University of Southern Denmark (SDU). His research spans Financial Accounting, Auditing, Non-financial Reporting, Corporate Social Responsibility, Accountability, and Sustainability Reporting and Assurance, with significant contributions to regulatory frameworks and sustainability measurement systems. Education: Ph.D. in Business Administration M.A. in Business Administration M.Sc. in Business Economics and Auditing His research integrates critical theory and institutional logics to examine ethical dimensions of accounting practices, focusing on sustainability performance metrics, auditor independence, and EU regulatory impacts. Recent work explores how digital decision aids affect auditor judgment and the implementation challenges of the EU Taxonomy Regulation in corporate reporting. Publications from 2024-2025 reveal a concentrated focus on climate risk integration in financial statements, sustainability assurance frameworks, and digital transformation in auditing. Key themes include the operationalization of ESG metrics, auditor roles in sustainability declarations, and context-specific applications of performance measurement systems across industries. He has supervised 4 students and secured 7 research projects totaling over 3 million DKK in funding: PREP4BLUE (2022-2025): EU-funded Coordinator developing ocean sustainability tools Digitaliseringsprojektet (2021): Principal Investigator for auditing digitalization research Digitalisering og ekspertsystemer (2019): Coordinator studying audit quality and digital readiness Revisors uafhængighed (2016-2018): Co-PI investigating auditor independence and non-audit services Active in the Danish Auditors' Sustainability Academy (FSR), he leads modules on sustainability reporting and assurance declarations. His industry engagement includes the 47th European Accounting Association Congress and advisory roles for FSR's Bæredygtighedsakademi program, bridging academic research with professional auditing practice.

Martin SchoeberlView profile

Professor

• Real-Time Systems
• Embedded Systems
• Multicore Processing
• +3 more

Professor Martin Schoeberl is affiliated with the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). His research focuses on real-time systems, worst-case execution time analysis, and embedded systems engineering. He is actively involved in projects such as Rigoletto, aiming to develop high-performance automotive processors using RISC-V architecture. Research Interests: Schoeberl's work spans time-predictable processors, network-on-chip architectures, and hardware-software co-design for cyber-physical systems. He explores methodologies to ensure deterministic behavior in multicore environments and develops tools for WCET analysis. His contributions include advancements in compiler optimizations for neural networks and temporal semantics in embedded systems. Advising & Grants: Schoeberl supervises PhD students such as E. Khodadad (on rigorous design of time-predictable systems) and A. Cerioli (on compiler optimizations for neural networks). He leads or participates in funded projects including Rigoletto (2025-2028) and Multi-Core Architecture for L1 Deterministic Processing (2022-2025). These projects aim to enhance real-time capabilities in embedded systems and automotive computing platforms. Labs & Teams: As part of the Embedded Systems Engineering group at DTU, Schoeberl collaborates on hardware generators using Chisel and designs reactor-oriented architectures for cyber-physical systems. His work integrates reconfigurable logic and synchronous models to create efficient, time-predictable solutions.

• International Business
• Entrepreneurship
• Organizational Theory
• +4 more

Romeo V. Turcan is a Professor at Aalborg University Business School within the Faculty of Social Sciences and Humanities, affiliated with the International Business Research Group and Theory Building Research Programme (TBRP). His research focuses on international business, entrepreneurship, organizational legitimation, globalization dynamics, and leadership authenticity. He has supervised at least one PhD student (Lines, L. G. T.) and contributed to over 168 publications since 2002, with emphasis on de/re-internationalization strategies, business model innovation, and theory-building methodologies. Key areas of exploration include the intersection of organizational change and legitimacy, the VUCA-world implications for firms, and the paradoxes of leadership authenticity in modern contexts. His work bridges theoretical advancements with empirical rigor, addressing contemporary challenges such as Brexit impacts, fintech ecosystem transformations, and sustainable entrepreneurship. Turcan has engaged in 22 research projects and developed courses like the PhD program in Authentic Leadership. His contributions span multiple disciplines, including sociology of knowledge, international entrepreneurship, and higher education curriculum development.

• Software Engineering
• Process Modeling
• Business Process Management
• +5 more

Thomas Troels Hildebrandt is a Professor in the Department of Computer Science at the University of Copenhagen, where he heads the Software, Data, People & Society research section. His work focuses on developing reliable and flexible software systems that adapt to user needs and legislative changes, with applications in digital law, workflows, and business processes. His educational background includes: PhD in Computer Science from Aarhus University (awarded February 23, 2000) Professor Hildebrandt's research spans Software Engineering , Process Modeling , and Business Process Management , with a focus on declarative approaches like Dynamic Condition Response (DCR) graphs. His work integrates formal methods to ensure system reliability in contexts ranging from smart contracts to public governance. He actively explores societal implications of AI, advocating for transparency and user-centered design in digital systems. Recent publications demonstrate a strong trend toward declarative process modeling applied to smart contracts and public governance . Key developments include DCR graphs for dynamic behavior modeling, cross-chain business logic monitoring, and digital compliance frameworks. His interdisciplinary approach bridges computer science with real-world societal challenges, particularly in adapting systems to evolving legislation and user requirements. No specific scientific awards are mentioned in the provided information. Professor Hildebrandt leads interdisciplinary research projects and serves on advisory boards for digitalization and AI. His work has fostered industry collaboration, including founding DCR Solutions based on his research. He acts as an independent consultant and speaker in digital transformation, with recent projects focusing on blockchain integration and public sector AI ethics. He directs the Software, Data, People & Society research section, which develops human-centered methods for adaptable digital systems. Current initiatives include DCR graph applications for GDPR compliance, smart contract security, and transparent AI in public services, with strong industry and government partnerships.

• Programming Languages
• Quantum Computing
• Reversible Computing
• +3 more

Robin Kaarsgaard is an Assistant Professor (Tenure-track) specializing in Programming Languages, Quantum Computing, and Reversible Computing. His work bridges theoretical computer science with practical programming language design, focusing on foundational aspects of quantum algorithms, invertible computation, and algebraic structures. Research interests include quantum programming languages, reversible computing models, category theory applications in computer science, and formal semantics of programming constructs. He has contributed to frameworks like Jeopardy, an invertible functional language, and explored quantum computing's computational limits through mathematical abstractions. Key projects include the Landauer Meets von Neumann initiative (2020–2022), investigating reversibility in quantum semantics. His work has been featured in media discussions about academic life in Svendborg, Denmark. Publications span 28 peer-reviewed outputs in venues like ACM Proceedings and Lecture Notes in Computer Science, with recent focus on compositional approaches to quantum programming and invertible recursion mechanisms.

Danny Bøgsted PoulsenView profile

Associate Professor

• Formal Methods
• Model Checking
• Cyber-Physical Systems
• +3 more

Danny Bøgsted Poulsen is an Associate Professor at the Department of Computer Science, Aalborg University, affiliated with The Technical Faculty of IT and Design. His research focuses on formal methods, model checking, and cyber-physical systems with applications in security analysis and programming languages. He contributes to projects like BEO-COVID (2020–2020) and IDEA4CPS (2011–2015), which explore decision support tools and foundational cyber-physical systems. His academic background includes advanced work in formal verification and statistical model checking. Key research interests include: Formal methods for string constraints and SMT solvers Statistical analysis of security-critical systems Modelling protocols like DTLS and attack-defense scenarios Applications of formal methods in education and public health Recent work highlights include developing SMTQuery for benchmark analysis, statistical evaluation of bit-flip vulnerabilities, and leveraging large language models for educational feedback. His research outputs span over 36 publications across journals and conferences, with active contributions to UPPAAL tool development and open datasets for reproducibility. Poulsen collaborates internationally on projects involving formal verification of embedded systems and cybersecurity protocols. His work bridges theoretical computer science with practical applications in safety-critical systems.

• History of Mathematics
• History of Analysis
• History of Mechanics
• +2 more

Jesper Lützen is an academic historian of mathematics at the Department of Mathematical Sciences , University of Copenhagen . He is renowned for his expertise in the history of mathematics, particularly focusing on the period 1800–1950, analysis, and mechanics. His current status as a Part-time Lecturer reflects continued engagement despite his emeritus title. Born : October 8, 1951, in Svendborg Education : Student exam (mathematical-physical line), Svendborg State School (1970) B.Sc. in Natural Sciences (mathematics major, physics minor), Aarhus University (1976) Licentiate (Ph.D.) in History of Science, Aarhus University (1980) Doctor of Science, University of Copenhagen (1990) Research Interests : Lützen specializes in the history of mathematical impossibility theorems, ranging from ancient Greek antiquity to modern times. His work spans analysis, mechanics, and the philosophical underpinnings of mathematical concepts. He has extensively explored duality, distributions, and the legacy of figures like Hjelmslev and Juel. Academic Engagement : His 15 most recent publications (2000–2024) reveal a consistent focus on mathematical history, methodology, and foundational debates. Key themes include distribution theory, geometric philosophies, and historical critiques of mathematical rigor. Scientific Awards : Fyns Stiftstidende’s Forskerpris (1982) Børge Jessens Diplom for godt foredrag (1988) Det Naturvidenskabelige Fakultets Formidlingspris (2000) Det Naturvidenskabelige Fakultets Undervisningspris (2003) Editorial and Institutional Roles : Lützen has served on editorial boards for Archive for the History of Exact Sciences and Historia Mathematica , and as a committee member in various academic and outreach initiatives. His outreach efforts include lectures for high school teachers, students, and contributions to the Great Danish Encyclopedia .

Jørgen VilladsenView profile

Associate Professor

• Logic
• Artificial Intelligence
• Multi-Agent Systems
• +5 more

Roles and Affiliations: Jørgen Villadsen is an Associate Professor at the Technical University of Denmark (DTU), affiliated with the Department of Applied Mathematics and Computer Science and the Algorithms, Logic and Graphs Section. He serves as Head of Study and focuses on formal logic, multi-agent systems, and computer science education. Education: MSc in Computer Science and Engineering (1989, DTU) and PhD in Computer Science (1995, DTU). Research Interests: Villadsen’s work centers on logic and its applications in computer science and artificial intelligence, including formal methods, multi-agent systems, type theory, and non-classical logics. He emphasizes the development of proof assistants like Isabelle and tools for teaching logic and formal reasoning. Recent Research Trends: His publications from 2020–2017 highlight contributions to logic education, automated reasoning, and multi-agent system design. Key areas include Isabelle-based proof systems, hybrid logic formalization, and competitive agent development in programming contests. Scientific Contributions: He has led teams in the Multi-Agent Programming Contest, published extensively in journals like Annals of Mathematics and Artificial Intelligence , and contributed to open-source tools like NaDeA and SPA. Grants and Projects: Involved in projects such as CONTROL (constraint-based language processing) and HyLoMOL (hybrid logic integration). Supervised numerous MSc and PhD students in multi-agent systems and formal methods. Labs/Teams: Active in the Multi-Agent Systems Lab, leading development of agents for competitions and educational tools. Collaborates internationally on logic, AI, and formal verification.

• Programming Languages
• Formal Logic
• Software Verification
• +5 more

Jesper Bengtson is a Lecturer in Theoretical Computer Science specializing in Programming Logic and Semantics at the IT University of Copenhagen. His research primarily focuses on formal methods for programming languages, with particular expertise in session types, separation logic, and proof assistants. Dr. Bengtson's research interests center around programming language theory and formal verification. His work explores how to mathematically verify software correctness through logical frameworks. He specializes in session types for communication protocols, separation logic for reasoning about concurrent programs, and developing tools for interactive theorem proving. His research bridges theoretical computer science with practical applications in software verification. His publication record shows consistent contributions to programming language theory over the past decade, with a clear trend toward applying formal methods to concurrent and distributed systems. Recent work demonstrates increasing focus on mechanized verification of session type systems and integration of session types with separation logic for concurrent program verification. Dr. Bengtson has been involved in several significant research projects including MECHANIST (MECHANIsation of Session typEs, 2021-2025), ToMeSo (Tools and Methods for Scalable Software Verifications, 2009-2013), and a general-purpose framework for software verification (2013-2017). These projects were funded by major Danish research foundations including Danmarks Frie Forskningsfond and Independent Research Foundation of Denmark. His work has been featured in media outlets, including a 2015 article titled 'Danish researcher wants to eradicate software errors' and a 2021 piece about 'Natural or woke? Big shooter introduces controversial soldier,' indicating public engagement with his research.

Lars JaffkeView profile

Assistant Professor

• Graph Algorithms
• Parameterized Complexity
• Structural Graph Theory
• +2 more

Lars Jaffke is an Assistant Professor in Informatics at NHH Norwegian School of Economics, Bergen, Norway. Previously, he held postdoctoral positions at IT University of Copenhagen (2024), University of Warsaw (2021-2022), and University of Bergen (2020-2021). He earned his PhD in Computer Science from the University of Bergen in 2020. Research Interests: His work focuses on algorithmic and structural aspects of graphs, particularly width measures (treewidth, pathwidth, mim-width) and their applications to graph classes. He investigates parameterized complexity, optimization problems, and algorithm design for graphs with bounded width parameters. Key Publications Trends: Recent works include algorithmic meta-theorems for mim-width, structural analysis of planar graphs, and complexity studies in graph coloring and domination problems. He develops dynamic programming techniques on specialized decompositions and explores logical characterizations of graph algorithms. Scientific Awards: IPEC Best Paper Award (2022) Travel Grant from L. Meltzer Fund (2021) Scholarship in Applied Computer Science, State of NRW (2012) Teaching & Service: He has served as course co-instructor for Algorithms and Programming with Python (2024) and taught Complexity Theory and graph algorithms at University of Bergen. He has been on program committees for IPEC 2024 and ESA 2023, and regularly reviews for top-tier conferences and journals like FOCS, STOC, SIAM Journal on Computing, and Theoretical Computer Science.

• Security Protocols
• Protocol Analysis
• Formal Verification
• +5 more

Alessandro Bruni is a Lecturer in Theoretical Computer Science at the IT University of Copenhagen, specializing in Programming Logic and Semantics within the Department of Computer Science. He is affiliated with the Center for Information Security and Trust and maintains an active research profile with numerous publications and projects spanning from 2016 to the present, including ongoing work through 2025. His research interests focus on Security Protocols, Protocol Analysis, Formal Verification, Ethical Hacking, Electronic Voting, and Internet of Things Security . Bruni's work bridges theoretical computer science with practical security applications, particularly in constrained environments like IoT devices. He has made significant contributions to the formal analysis of security protocols such as EDHOC (Ephemeral Diffie-Hellman Over COSE) using tools like Tamarin and ProVerif. Analysis of his recent publications (2023-2025) reveals a growing interest in differentiable logics and their formalization in proof assistants like Coq, alongside continued work on security protocols for constrained environments. His research increasingly intersects with machine learning verification and robust statistical methods for security applications. Bruni serves as Principal Investigator for multiple research projects including VeriFunAI: Verified Functional Analysis for Safe AI (funded by Carlsbergfondet, 2025), GAMESS: GAMification and Education for Secure Software (Danish Agency for Research and Education, 2023-2024), and the De Danske Cybermesterskaber (Danish Cyber Championships) funded by Industriens Fond. His projects consistently focus on formal verification, security education, and practical cybersecurity applications. As an active contributor to public discourse, Bruni has participated in media discussions about ethical hacking frameworks, EU cybersecurity directives, and security improvements for platforms like WhatsApp. His work demonstrates a commitment to both theoretical rigor and practical impact in the cybersecurity field.

Hamid BekamiriView profile

Assistant Professor

• Technology Mapping
• Science Mapping
• Applied Machine Learning
• +3 more

Hamid Bekamiri is an Assistant Professor in Innovation and Industrial Dynamics at Aalborg University Business School. He holds a PhD in Information Technology Management and specializes in applied machine learning and digital transformation. His research bridges computer engineering with social sciences, focusing on technology mapping methodologies. His research interests center on developing computational tools for science and technology mapping, with expertise in NLP, deep learning, and big data analytics. Recent work explores semantic similarity models for patent analysis and knowledge landscape visualization. Publications demonstrate consistent focus on machine learning applications in technology management. Recent articles show progression from banking security algorithms to advanced patent classification systems using transformer architectures. Professional technical skills include: 7+ years in Python/R programming AWS and Slurm-based cloud computing NoSQL/SQL database management High-dimensional data processing

• Semantic Web
• Formal Methods
• Digital Twins
• +3 more

Eduard Kamburjan is an Assistant Professor in the Department of Software Engineering at the IT University of Copenhagen. His research focuses on integrating Semantic Web technologies with formal methods to develop and analyze data-heavy computational systems, particularly Digital Twins. He is the creator of the SMOL language for knowledge graph integration and Crowbar, a deductive verification system for Active Objects. His current work explores novel approaches to modularity in program verification, emphasizing contracts for distributed and hybrid systems. In 2024, he contributed to a publication on probabilistic dynamic logic proof systems. Eduard's research is affiliated with the Software Quality Research (SQUARE) group. His ORCID profile (0000-0002-0996-2543) and contact details, including his office in Copenhagen (Denmark), are publicly accessible.

David Earl RobersonView profile

Associate Professor

• Graph Theory
• Quantum Computing
• Algorithms
• +5 more

David Earl Roberson is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). His research focuses on graph theory, quantum computing, and algorithms, with particular emphasis on quantum strategies for graph-based nonlocal games and the interplay between graph isomorphism and algebraic structures. He is affiliated with the Algorithms, Logic and Graphs research center and the Center for Quantum Technologies. His educational background is not explicitly detailed, but his professional activities include supervision of PhD candidates such as P. Nigam Kar in projects exploring quantum strategies and nonlocal games. His work often intersects with mathematical physics, leveraging tools from operator algebras and permutation groups. Office: Richard Petersens Plads 322, 2800 Kgs. Lyngby, Denmark ORCID: 0000-0002-4463-8095 Website: compute.dtu.dk Key research themes include quantum automorphism groups of graphs, Lasserre hierarchy applications to graph isomorphism, and transitive nonlocal games. His work bridges theoretical computer science and quantum information theory, with publications in venues like Journal of the London Mathematical Society and Mathematical Programming . Collaborations involve international teams exploring quantum permutation groups and homomorphism indistinguishability, with recent focus on algebraic characterizations of graph properties and optimization models in quantum computing.

Henrik BulskovView profile

Associate Professor

• Natural Logic Systems
• Database Querying
• Machine Learning
• +3 more

Henrik Bulskov is an Associate Professor in the Department of People and Technology (Programming, Logic and Intelligent Systems) at Roskilde University. He holds an MSc and PhD. His work focuses on natural logic systems, database querying, and ontology-based information retrieval. He has contributed to projects such as SEAFACTS (digital maritime history platform) and NorDigHealth (regional digital health solutions). Education: MSc and PhD (specific disciplines not explicitly stated) Research interests include formal logic systems integration with databases, machine learning applications in bioinformatics, and semantic summarization through ontologies. Recent work explores query optimization in natural logic knowledge bases and disparity analysis in neural networks. His publications highlight advancements in computational logic for knowledge management and biomedical text analysis. Bulskov has participated in international conferences and contributed to media discussions on big data applications. Advising: No explicit student advisees listed Grants: Principal/Co-investigator in multiple projects including SIABO (2007–2012) and Duuoo Analysis (2021) Labs/Teams: Involved in interdisciplinary teams focusing on bioinformatics, health tech, and digital humanities through collaborative projects.