Find Academic Supervisors

• Theoretical Computer Science
• Mathematical Logic
• Structured Programming
• +7 more

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.

David JakobsenView profile

Associate Professor

• Logic
• Tense Logic
• Philosophy of Time
• +9 more

David Jakobsen is an Associate Professor in the Department of Communication and Psychology at Aalborg University, Faculty of Social Sciences and Humanities. His work bridges logic, philosophy, and digital technology, with a focus on tense logic and its applications in artificial intelligence and critical thinking. He is affiliated with several research groups, including the Purposeful Technology Lab, The Logic of Time and Modality, Tid, Eksistens og Naturforbundethed, and InDiMedia (Centre for Interactive Digital Media & Experience Design). His research interests include tense logic, the philosophy of time, Arthur Norman Prior’s legacy, metaphysics, philosophical theology, and the use of generative AI in education and reasoning. Jakobsen co-leads the Arthur Norman Prior Archive, preserving and analyzing the work of the foundational figure in tense logic. Recent publications show a strong trend toward integrating AI with human reasoning, particularly in educational contexts, examining how systems can support critical thinking. His work spans formal logic, philosophy, theology, and digital learning environments, reflecting a deeply interdisciplinary approach. Scientific Awards: Best Paper Award (25 Nov 2020) – shared with Peter Øhrstrøm, Thomas Ploug, Stine Thorvaldsen, and Ulrik Sandborg-Petersen He has been involved in research projects such as 'Educational and Entrepreneurial co-operation in Future City' (2021–2023) and 'Building Educational Co-operation in Smart City' (2018–2019), focusing on innovation in education and smart urban development. Jakobsen has advised and collaborated on educational initiatives, though no formal students are listed. He has organized and presented at academic conferences and contributed to public discourse through media engagement on topics including technology, religion, and societal development. He is active in multiple labs and research centers, particularly those exploring digital media, time logic, and human-centered technology.

Axel PolleresView profile

Professor

• Semantic Web
• Knowledge Engineering
• Data Management
• +12 more

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.

Eva RotenbergView profile

Associate Professor

• Algorithms
• Data Structures
• Graph Theory
• +5 more

Eva Rotenberg is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), affiliated with the Algorithms, Logic and Graphs section. Her research is centered on theoretical computer science, particularly algorithms, data structures, and graph theory. Research Interests: Her work focuses on graph algorithms , especially in planar and dynamic graphs, data structures for efficient computation, and combinatorial optimization . Key topics include approximation algorithms , worst-case analysis , edge connectivity , and local density estimation in distributed settings. She investigates algorithmic solutions with strong theoretical guarantees. The recent publications (2024–2025) reveal a consistent focus on graph-theoretic problems in discrete algorithms, with applications in dynamic and distributed systems. Trends include adaptive data structures, sorting via partial orders, and connectivity augmentation in geometric graphs. Scientific Awards: No specific awards listed in the provided text. Advising and Grants: She is the main supervisor for multiple active PhD projects at DTU, including Dynamic Graph Algorithms , Combinatorial Algorithms on Graphs and Geometry , and Hierarchical Compression of Highly-Repetitive Data . These projects indicate successful grant acquisition and leadership of a vibrant research group. Her supervision spans theoretical algorithms and their applications in data compression and network analysis. Labs and Teams: She is a core member of the Algorithms, Logic and Graphs group at DTU, which conducts fundamental research in discrete mathematics and theoretical computer science. This team actively publishes in top venues and collaborates on national and international projects.

Anders MøllerView profile

Professor

• Programming Languages
• Software Engineering
• Static Program Analysis
• +4 more

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.

• Programming Languages
• Reversible Computing
• Software Systems
• +2 more

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–)

Jens ClassenView profile

Associate Professor

• Knowledge Representation
• Automated Reasoning
• Agent-based Systems
• +2 more

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.

Tejs VeggeView profile

Professor

• Autonomous materials discovery
• Energy conversion and storage
• Battery materials
• +4 more

Tejs Vegge is a Professor and Head of the Section for Autonomous Materials Discovery (AMD) at the Department of Energy Conversion and Storage, Technical University of Denmark (DTU). His research focuses on accelerating the discovery of clean energy materials through integrated computational and experimental approaches. Key areas include battery materials, hydrogen/ammonia storage, and electrocatalysts for sustainable fuels. Vegge leads major initiatives like the Pioneer Center CAPeX and the Villum Center V-Sustain, and has received awards such as the August-Wilhelm Scheer Visiting Professorship and the Ellen and Hans Hermers Award. His projects include the CAPeX Center (2023–2036) for P2X materials, the DELIGHT project (2021–2024) on green catalysis, and collaborations like Battery2030+. He supervises multiple PhD students in topics like battery electrolytes, autonomous workflows, and machine learning for materials design. Research Themes: Autonomous materials discovery, AI-driven experiments, sustainable energy systems Key Tools: Density Functional Theory (DFT), high-throughput screening, self-driving labs Recent Trends: Focus on strain engineering for ion conductivity, CO₂ reduction catalysts, and quantum computing applications Publications span over 300 articles, emphasizing interdisciplinary methods like reinforcement learning and Bayesian optimization. Vegge advocates for open-access research infrastructure and has pioneered lab automation frameworks like Finales.

Izhar Mithal JiskaniView profile

Research Fellow

• Sustainability
• Environmental Science
• Mining Engineering
• +4 more

Izhar Mithal Jiskani is a Research Fellow at Aalborg University's Department of Sustainability and Planning, within the Technical Faculty of IT and Design. His research focuses on sustainability and green mining practices, particularly within the context of climate change mitigation and energy transition. Previously, he served as Head of the Department of Mining and Mineral Resources at Pakistan's National University of Sciences and Technology (NUST) and held an Assistant Professor role there from 2021 to 2023. Education: PhD in Green & Climate-Smart Mining (2018–2021), National University of Sciences and Technology (NUST), Pakistan Research Interests: Izhar's work emphasizes environmental impact assessment in mining, with a focus on sustainable practices, energy transition minerals, and climate neutrality. He actively promotes interdisciplinary approaches to balance economic, social, and environmental aspects of mining through frameworks like Mining 4.0 and green decision support systems. His recent projects include analyzing dust pollution control in open-pit mines and developing intelligent systems for slope stability. Publications Trends: Over 50 articles since 2018 highlight his focus on sustainable mining, environmental management, and technological innovation in mining operations. Themes include dust reduction technologies, geopolymer applications for mine infrastructure, and AI-driven environmental monitoring. Grants & Projects: As Principal Investigator of the 2022–2023 project 'Mining 4.0 and climate neutrality,' he explores safe, intelligent, and climate-smart mining systems. He also contributes to international collaborations, including the Danish Centre for Environmental Assessment. Professional Activities: Izhar serves as an external examiner for PhD and master's theses, presents at global conferences (e.g., the 44th Annual Conference of the International Association for Impact Assessment), and delivers guest lectures on topics like sustainable mining and natural resource governance. Labs/Teams: Affiliated with the Danish Centre for Environmental Assessment, focusing on interdisciplinary environmental research and policy.

• Programming Languages
• Reversible Computation
• Quantum Computing
• +7 more

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.

• Communication Systems
• Control Engineering
• Automation
• +5 more

Valdemar Tang Evans is a Research Fellow at the Department of Electrical and Computer Engineering, Faculty of Technical Sciences, Aarhus University. His primary affiliation focuses on Communication, Control, and Automation , with an additional unspecified affiliation mentioned in his CV. His research is centered on Digital Twins, Cyber-Physical Systems, and IoT, particularly in the context of system monitoring and autonomous systems. Key research areas: Digital Twins, IoT, Autonomous Systems, Runtime Verification, Cyber-Physical Systems, Control Engineering His recent publications highlight the application of Digital Twins as a Service for runtime verification, Propositional Logic in event-triggered regulation, and system monitoring frameworks. These works emphasize reliability and precision in autonomous and IoT-enabled systems. Contact Information : valdemar.tang@ece.au.dk , Aarhus N, 5123-216.

Manfred JaegerView profile

Associate Professor

• Artificial Intelligence
• Machine Learning
• Bayesian Networks
• +5 more

Manfred Jaeger is an Associate Professor at the Department of Computer Science, Technical Faculty of IT and Design, Aalborg University. His research focuses on Artificial Intelligence , Bayesian Networks , and Graph Neural Networks , with significant contributions to probabilistic reasoning and relational learning. University: Aalborg University School: Technical Faculty of IT and Design Department: Department of Computer Science Jaeger's research explores inductive and probabilistic reasoning , statistical relational learning , and model checking . His recent work integrates heterogeneous graph neural networks with relational Bayesian network encodings to enhance reasoning capabilities in complex systems. Key trends in his publications include relational deep learning , probabilistic inference , and graph-based modeling . He has contributed to applications in social network community detection , reinforcement learning for MDPs , and latent variable models for graph learning . Jaeger collaborates on projects involving incomplete data analysis , modularization of complex tasks , and probabilistic logic . His datasets on multi-multi-instance learning networks are publicly available for research use.

Ignacio Rodriguez LarradView profile

Researcher

• Path Loss Engineering
• Wireless Communication Engineering
• Internet of Things Engineering
• +3 more

Ignacio Rodriguez Larrad is a researcher at Aalborg University , affiliated with the Department of Electronic Systems under the Technical Faculty of IT and Design . His work focuses on wireless communication engineering, industrial IoT, and path loss modeling. He is currently involved in the 5G-enabled autonomous mobile robotic systems project. Current affiliations: Aalborg University, Spanish Researchers in Denmark (Vice-chairman) Research interests include 5G wireless networks, industrial IoT deployment, real-time locating systems, and antenna engineering. His work addresses practical challenges in factory environments and rural connectivity solutions. Recent publications highlight applications in corrosion mapping, robotic control, and network integration. Key trends involve deep learning for industrial automation, UWB technology, and multi-connectivity frameworks. Scientific Awards : 5G-prisen (2019) - Recognizing 5G research contributions Neal Shepherd Memorial Best Propagation Paper Award (2017) - Radio propagation studies Ignacio has co-supervised PhD research and participated in industry-focused projects. His activities include media engagement and presentations on industrial wireless systems at conferences.

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.

Jesper Puggaard de Oliveira HansenView profile

Research Fellow

• Digital Twin
• Discrete Manufacturing
• Engineering
• +4 more

Jesper Puggaard de Oliveira Hansen is a Post.Doc. at the Department of Technology and Innovation, Faculty of Engineering, University of Southern Denmark. His research focuses on digital twins, adaptable automation, and predictive maintenance in manufacturing systems. Primary affiliation: SDU Technology Entrepreneurship and Innovation Research areas: Digital Twin, Discrete Manufacturing, Engineering Tools His recent work explores integrating digital twins into production systems, emphasizing simulation-driven automation and modularization. Projects include developing predictive maintenance frameworks for conveyor belts and agile digital machine development. Key contributions involve virtual commissioning processes, AI applications in manufacturing, and educational methods for programmable logic controllers. Collaborations span with McMaster University and internal SDU teams. Projects: Digital Transition grants committee (2019-2021), DigitalizationBoost grants committee (2021) Activities: Conference presentations (IEEE ICPS 2024), internal examinations, and industry seminars