Program Logics Professors and Supervisors in Denmark | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 1-15 of 109 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Abayomi BaiyereView profile

Associate Professor

Copenhagen Business SchoolDenmark

Abayomi Baiyere serves as an Associate Professor in the Department of Digitalization at Copenhagen Business School (CBS), where he conducts cutting-edge research at the intersection of digital technologies and organizational transformation. His work significantly contributes to UN Sustainable Development Goals through digitally-enabled societal impact initiatives and has yielded 69 research outputs including high-impact publications in premier journals like Information Systems Journal and Information Systems Research . His research program focuses on: Digital transformation frameworks (notably the MIND framework for capability assessment) Platform design and governance mechanisms Smart service systems development Workplace transformation through digital subtraction logic Digital strategy implementation challenges Analysis of his 15 most recent publications (2024-2025) reveals a strong theoretical grounding in institutional and practice-based perspectives, with increasing emphasis on ethical dimensions of digital transformation, AI implementation constraints, and methodological innovations in computational research. His work consistently bridges conceptual rigor with practical applicability for organizational leaders. Dr. Baiyere actively shapes academic discourse through editorial roles including co-editing The Routledge Companion to Management Information Systems (2025) and organizing key events like the African IS Paper Development Workshop (2020). His public engagement includes 6 media contributions discussing digital workplace transformation and strategic implementation challenges, demonstrating commitment to translating research into practical insights for broader audiences. Within CBS, he has supervised 8 academic works while contributing to the department's international recognition in digitalization research. His activities reflect deep engagement with both theoretical advancement in information systems and practical solutions for organizational digital maturity.

Official University Profile

Jesper Strandgaard PedersenView profile

Professor

Copenhagen Business SchoolDenmark

Jesper Strandgaard Pedersen is a Professor at Copenhagen Business School (CBS) in the Department of Organization, serving as co-director of the Imagine .. Creative Industries Research Centre. He previously chaired SCANCOR (Scandinavian Consortium for Organizational Research) hosted at Stanford and Harvard Universities, establishing his prominence in global organizational studies. His research centers on organizational and institutional change dynamics, examining institutional action, industry emergence, field structuring, and organizational identity construction. Key studies investigate cultural transformation in high-tech firms, mergers in knowledge-intensive industries, diffusion of managerial practices, and creative enterprise organization in film and culinary sectors. Recent work focuses on culinary movements as innovation drivers, analyzing how gastronomic traditions are strategically constructed and institutionalized. Publication analysis reveals consistent emphasis on creative industries (particularly culinary and film), sustainability intersections, and institutional entrepreneurship. His work demonstrates evolving focus from organizational identity in knowledge firms toward sustainability-driven innovation in food systems, with increasing European collaborations. Methodologically, he bridges qualitative case studies with institutional theory frameworks. Professor Strandgaard supervises PhD students and teaches advanced courses including Research Methodology in Organization and Management Analyses and Institutional Organizational Analysis across MSc, HD, and BSc programs. His external engagement includes executive education with CBS Executive Fonden in 2024. He leads the Imagine .. Creative Industries Research Centre, which investigates creative sector dynamics, and maintains influence through SCANCOR networks despite stepping down as chairman. His research directly informs European creative industry policy debates through frequent media contributions and international conference leadership.

Official University Profile

Elli AnastasiadiView profile

Assistant Professor

Aalborg UniversityDenmark

Elli Anastasiadi is an Assistant Professor in the Department of Computer Science at Aalborg University, part of the Technical Faculty of IT and Design. She is a member of the DEIS (Distributed, Embedded and Intelligent Systems) research group, which focuses on formal methods, verification, and intelligent systems. Prior to her current role, she was a postdoctoral researcher at Uppsala University and completed her PhD at Reykjavik University. Education: PhD in Computer Science, Reykjavik University (2022) Master’s in Applied Mathematics and Computer Science, NTUA, Greece Her research centers on formal verification of concurrent and parallel systems , with emphasis on runtime verification, process algebra, and logical foundations. She works extensively with hyperproperties, modal logic, and equational reasoning. Her work bridges theoretical computer science with practical verification tools. Recent publications show a strong trend in logic-based verification , particularly in modal and temporal logics, recursion, and monitor synthesis. Her work often involves complexity analysis and axiomatization of logical systems. Scientific Awards: PhD grant from Reykjavik University research fund She has advised no publicly listed students yet and is actively involved in academic service, including co-organizing workshops and being an invited speaker. She collaborates closely with leading researchers in concurrency theory and formal methods. Labs and Teams: Member of the DEIS research group at Aalborg University, contributing to projects on verification, distributed systems, and intelligent decision-making.

Official University Profile

Matteo AcclavioView profile

Assistant Professor

IT University of CopenhagenDenmark

Matteo Acclavio is an Assistant Professor in Computer Science at the School of Engineering and Informatics, University of Sussex, affiliated with the Foundations of Software Systems (FoSS) research group. A logician specializing in proof theory and its applications to computer science, his work bridges mathematical logic with concurrency theory and process calculi. Education: PhD in Mathematics, Aix-Marseille University, France Master in Discrete Mathematics and Foundations of Theoretical Computer Science, Aix-Marseille University Master in Mathematics, Roma Tre University, Italy Bachelor in Mathematics, Roma Tre University His research focuses on graphical proof systems, linear logic, modal logic, and concurrency theory. Publications highlight contributions to deep inference, sequent calculus, and the intersection of logic with distributed systems. Recent work explores logical frameworks for concurrency, such as choreographic programming, and graphical models for proof systems. He teaches courses like Operating Systems and maintains active collaborations in theoretical computer science.

Official University Profile

Michael Reichhardt HansenView profile

Associate Professor

Technical University of DenmarkDenmark

Michael Reichhardt Hansen is an Associate Professor at the Department of Applied Mathematics and Computer Science (DTU Compute) at the Technical University of Denmark. He holds a MSc in Engineering (1982) and a PhD in Computer Science (1987) from DTU. He has held postdoctoral and visiting roles, including a fellowship at IBM Research Center (1984–1985) and a guest professorship at Oldenburg University (1992–1993). His research focuses on formal methods, embedded systems, and real-time systems, emphasizing mathematically grounded software development. He has authored/co-authored three books and over 70 scientific articles. Research interests include model-based program construction, temporal logic, functional programming, and ontology alignment. He has led projects on ontology matching frameworks (e.g., MDMapper) and formal methods for real-time systems. Hansen has supervised PhD students in areas like data integration and genetic circuit synthesis. He has contributed to international conferences and serves as a reviewer/examiner for academic programs. His work bridges theoretical foundations with industrial applications, particularly in embedded systems and data management. He has collaborated internationally, with projects addressing ESG reporting standards and regulatory compliance through automated data traceability.

Official University Profile

Peyman Afzali GorouhView profile

Researcher

Aalborg UniversityDenmark

Peyman Afzali Gorouh is a Postdoctoral Researcher in the Applied Power Electronic Systems group within the Faculty of Engineering and Science at Aalborg University, Denmark. His research focuses on developing innovative models for energy communities, smart grids, and renewable energy integration. Dr. Afzali's research interests span power engineering, smart grid technologies, renewable energy systems, and energy communities. His work particularly emphasizes prosumer economics, peer-to-peer energy trading, risk modeling in power systems, and energy democracy frameworks. He has developed novel approaches for optimizing energy communities while considering socio-economic-environmental factors, demand response, and uncertainty management. His recent publications (2020-2024) demonstrate a consistent focus on energy community modeling, with particular emphasis on peer-to-peer trading mechanisms, risk-constrained optimization, and multi-objective planning. His work bridges technical power system challenges with socio-economic considerations, creating integrated models that address both engineering and human aspects of modern energy systems. Dr. Afzali maintains an active research profile with numerous publications in high-impact journals including IEEE Transactions on Engineering Management, Energy and Buildings, Applied Sciences, and Sustainable Cities and Society. His research shows strong international collaboration, particularly with researchers from Iranian institutions.

Official University Profile

Alvaro TorralbaView profile

Associate Professor

Aalborg UniversityDenmark

Alvaro Torralba is an Associate Professor in the Department of Computer Science at Aalborg University, Denmark, affiliated with the Technical Faculty of IT and Design. His research focuses on symbolic search, heuristic functions, and planning algorithms within artificial intelligence and machine learning. Notable projects include the ConAn initiative exploring contrastive analysis for state-space exploration. He has contributed extensively to classical planning, probabilistic planning, and automated planning competitions, earning awards such as the First Prize in the Agile Track of the 10th International Planning Competition (IPC’23). His work often bridges theoretical advancements with practical applications, including game-based network update synthesis and believable non-player character development. Research outputs include over 60 publications since 2011, with a focus on optimizing search algorithms and enhancing planning efficiency through techniques like operator-potential heuristics and bidirectional search strategies. His scientific contributions span algorithmic innovation, verification methodologies, and large-scale abstraction evaluation. Collaborations and datasets include foundational work on PDDL generators and pattern databases, with open-access resources available via Zenodo. As a program committee member and award-winning researcher, Torralba actively contributes to advancing the frontiers of AI planning and decision-making systems.

Official University Profile

Dewan AhsanView profile

Professor

University of Southern DenmarkDenmark

Dewan Ahsan is a Professor in the Department of Business and Sustainability at the University of Southern Denmark, Esbjerg campus, with academic affiliations in Management and Economics of Resources and the Environment and Interactive Innovation. His work bridges sustainability, climate resilience, and risk management across global contexts, particularly in South and Southeast Asia. Institution: University of Southern Denmark School: Faculty of Business and Social Sciences Department: Department of Business and Sustainability Role: Professor His research focuses on climate change adaptation, sustainable fisheries, occupational health and safety in industrial sectors, and green innovation in developing economies. He explores how communities, especially fishermen and small producers, manage environmental and economic risks under changing climatic and regulatory conditions. The recent publications reflect a strong trend in interdisciplinary sustainability science, combining environmental, economic, and social dimensions. Key themes include climate vulnerability, circular economy in tanning and plastic waste, Arctic maritime safety, and stakeholder engagement in green transitions. His work frequently involves policy-relevant analysis and international collaboration. SEBE's annual award for the highest research grant recipient (2019, 2020, 2021) Best Paper Award, International Conference on Environment Sciences and Renewable Energy (ESRE-2019) PhD Scholarship from Danish Research Council Award-winning and grant-intensive, Dewan Ahsan has led major research projects such as Susleather and GREENCAP, securing significant funding and contributing to policy development. He teaches courses in risk management, green business, and stakeholder management, and has supervised PhD students and assessment committees. His collaborative network spans Europe, Bangladesh, Vietnam, and Cambodia, emphasizing community-based solutions and institutional innovation for sustainable development. He is actively involved in research teams and international networks focused on emergency preparedness in Arctic shipping and sustainable industrial practices. These collaborations foster transdisciplinary knowledge exchange and capacity building in higher education and local industries.

Official University Profile

Daniel GratzerView profile

Assistant Professor

IT University of CopenhagenDenmark

Daniel Gratzer is an assistant professor in the Department of Computer Science at Aarhus University, affiliated with the Logic and Semantics group. He studies programming languages and type theories through category theory, focusing on dependent, modal, and homotopy type theory. He co-teaches graduate courses on type theory and maintains a forthcoming textbook with Carlo Angiuli. Daniel is visiting Oxford from August 2024 to February 2025. His research explores applications of modal type theory to synthetic (∞,1)-category theory, guarded type theory for denotational semantics, and categorical methods in program logics like Iris. He collaborates with researchers including Carlo Angiuli, Lars Birkedal, and Jonathan Sterling. Recent work includes publications at LICS 2025, FoSSaCS 2025, and LMCS 2025. He contributed to the development of proof assistants like mitten and formal verification tools for higher-order concurrent separation logic. Contact: gratzer@cs.au.dk

Official University Profile

Siddharth BhaskarView profile

Assistant Professor

University of Southern DenmarkDenmark

Siddharth Bhaskar is an Assistant Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark. His research lies at the intersection of theoretical computer science and mathematical logic, with a focus on programming language foundations and formal structures. His research interests include structured programming, imperative languages, graph traversal algorithms, and the application of category theory (particularly functors) to computation. These areas reflect a deep engagement with the mathematical underpinnings of programming and algorithmic processes. The two recent publications show a consistent trend in formalizing programming concepts through mathematical structures—particularly using universal constructions from category theory and extending structured programming into transfinite domains. This indicates a research trajectory grounded in computability, logic, and the semantics of programming languages. No scientific awards mentioned in the provided text. Siddharth Bhaskar has no listed advisees or grant information in the available data. However, his peer-reviewed publications in high-quality conference proceedings (CiE and MFCS) suggest active research supervision and potential involvement in collaborative projects, though specific details are not disclosed. There is no mention of specific laboratories, research groups, or teams in the provided text. However, his affiliation with the Department of Mathematics and Computer Science and his research profile suggest potential collaboration within formal methods or logic research circles at the University of Southern Denmark.

Official University Profile

Axel PolleresView profile

Professor

University of CopenhagenDenmark

Axel Polleres is a full professor in the area of 'Data and Knowledge Engineering' at the Vienna University of Economics and Business (WU Wien) and a faculty member at the Complexity Science Hub (CSH) in Vienna, a position he has held since January 2017. His work bridges academic research and real-world applications in semantic technologies, knowledge graphs, and data governance. His research interests lie at the intersection of semantic web technologies, knowledge engineering, and data management. Focused on querying and reasoning over ontologies, logic programming, and rule-based systems, he explores how structured data can be effectively managed, validated, and integrated—especially through standards like SPARQL and SHACL. His work extends to applications in open data, legal data, biomedical informatics, and socio-environmental challenges such as climate and public health. The most recent publications highlight a growing trend toward practical and societal applications of knowledge graphs, including climate risk assessment, crisis response, healthcare accessibility, and open data governance. These works combine technical rigor in semantic modeling with impactful real-world use cases, particularly in European and Austrian contexts. Axel Polleres has been actively involved in international standardization, notably as co-chair of the W3C SPARQL Working Group, and serves on the editorial boards of the Semantic Web Journal and Journal of Web Semantics . He has contributed to numerous European and national research projects and has published over 100 articles in top-tier journals and conferences. He advises and collaborates with researchers across disciplines and institutions, contributing to interdisciplinary teams working on complex societal challenges. His work is supported by significant research grants, though specific funding sources are not detailed in the provided text. He leads and participates in research groups focused on semantic technologies, knowledge graphs, and data-driven policy.

Official University Profile

Anders MøllerView profile

Professor

Aarhus UniversityDenmark

Anders Møller is a Professor and Vice Head of Department at the Department of Computer Science, Aarhus University, Denmark. He is a leading researcher in programming languages and software engineering, with a primary focus on static and dynamic program analysis. He serves as Chairman of the PhD Committee and holds leadership roles in the international research community, including Vice-Chair of ACM SIGPLAN and Associate Editor for ACM TOPLAS and ACM TOSEM. His research interests include programming languages, software engineering, static and dynamic analysis, program verification, and security. His work bridges theoretical foundations and practical applications, particularly in improving software reliability and security through advanced analysis techniques. The trends in his recent publications reflect a strong emphasis on static analysis for security, scalability, and real-world impact—especially in web applications, smart contracts, and open-source software supply chains. His research has evolved toward practical deployment, demonstrated by the founding and acquisition of Coana by Socket in 2025 for enhanced vulnerability detection. Recipient of the Danish Elite Research Prize 2020 ACM Distinguished Member He actively mentors students and contributes to the academic community through conference leadership (e.g., OOPSLA, PLDI, ICSE). He also co-authored the widely used textbook Static Program Analysis with Michael I. Schwartzbach. His work is deeply integrated into both academic and industrial advancements in software analysis and security.

Official University Profile

Robert GlückView profile

Professor

University of CopenhagenDenmark

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

Official University Profile

Jens ClassenView profile

Associate Professor

Roskilde UniversityDenmark

Jens Classen is an Associate Professor in the Department of People and Technology Programming, Logic and Intelligent Systems at Roskilde University. His research focuses on knowledge representation, automated reasoning, and agent-based systems within artificial intelligence. Classen investigates formal methods for agent program synthesis, action theories in first-order logic, and educational applications of flipped classroom methodologies. His work spans theoretical foundations of knowledge representation and practical applications in educational technology. Recent publications explore LTLf synthesis in nondeterministic environments, advancements in first-order progression techniques, and pedagogical innovations in student engagement strategies.

Official University Profile

Robin Kaarsgaard SalesView profile

Assistant Professor

University of Southern DenmarkDenmark

Robin Kaarsgaard Sales is an Assistant Professor on the tenure track in the Department of Mathematics and Computer Science at the University of Southern Denmark, Faculty of Science and Engineering. His research focuses on the theoretical foundations of programming languages, with an emphasis on reversible computation, quantum programming, and categorical semantics. His research interests span Programming Languages , Reversible Computation , Quantum Computing , Categorical Semantics , Functional Programming , and Formal Methods . He investigates how invertibility and reversibility can be integrated into programming models, particularly in the context of quantum computation, using tools from category theory and mathematical logic. His recent publications, appearing in high-impact venues such as POPL and ICFP, demonstrate a consistent focus on compositional models of reversible and quantum computation. Key themes include invertible functional programming, quantum semantics via groupoids and morphisms, and program transformations for tail recursion in reversible settings. These works reflect a deep integration of theoretical computer science with mathematical structures. Robin was a participant in the research project Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics (2020–2022), funded by the Danish Research Council, which underscores his active role in advancing foundational aspects of quantum computing. He has collaborated extensively with prominent researchers including Jacques Carette, Chris Heunen, and Amr Sabry. His work has been featured in public media, including TV2 News and regional press, highlighting both his research impact and community engagement. He is also referenced on Wikipedia and has a presence on academic platforms such as ORCID, Scopus, and Mendeley. He is affiliated with a research group active in programming language theory and quantum computation, contributing to a growing international network in reversible and quantum computing. His ongoing work continues to explore the mathematical underpinnings of computation, aiming to bridge theory with practical language design.

Official University Profile