جستجوی استاد راهنمای دانشگاهی

Carsten Schürmannمشاهده پروفایل

استاد

• Information Security
• Cryptographic Voting Protocols
• Security Analysis
• +۵ مورد دیگر

Carsten Schürmann is a Professor of Theoretical Computer Science at IT University of Copenhagen, where he serves as Center Manager for the Center for Information Security and Trust. His research spans information security, cryptographic voting protocols, identity management, and digital democracy, with significant contributions to security ceremonies and formal verification of protocols. Professor, Department of Computer Science Center Manager, Center for Information Security and Trust Principal Investigator for multiple DIREC projects through 2025 Active researcher with 64 publications and 20 projects listed His research focuses on the intersection of theoretical computer science and practical security challenges, particularly in voting systems and security ceremonies. Schürmann has developed formal methods for analyzing security protocols, with emphasis on human factors in security implementations and cryptographic voting systems. His work bridges logical frameworks with real-world security applications, addressing both technical and socio-technical aspects of security. Analysis of his recent publications reveals a strong emphasis on voting security, with multiple papers on risk-limiting audits, receipt-free voting, and election integrity. His work increasingly incorporates formal logical frameworks to verify security properties, while also addressing human factors in security ceremonies. The research spans theoretical foundations in linear logic to practical applications in election systems. As Principal Investigator, Schürmann leads several major projects funded by the Innovation Fund Denmark, including DIREC initiatives focused on Capacity Building, PhD School, Voting, and Entrepreneurship (2020-2025). He has also established working groups in Adversarial AI and Machine Learning. Organized workshops on Code Scanning (2014) and Verifying Security Protocols in Tamarin (2016) Active media commentator on security issues with 311 media appearances through 2025 Principal Investigator for 7 ongoing and 13 completed research projects Schürmann directs the Center for Information Security and Trust, which serves as a hub for interdisciplinary security research connecting theoretical computer science with practical security applications. His center focuses particularly on voting systems security and security ceremonies, bringing together researchers from multiple disciplines to address complex security challenges.

David Jakobsenمشاهده پروفایل

دانشیار

• Logic
• Tense Logic
• Philosophy of Time
• +۹ مورد دیگر

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.

Eva Rotenbergمشاهده پروفایل

دانشیار

• Algorithms
• Data Structures
• Graph Theory
• +۵ مورد دیگر

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øllerمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Static Program Analysis
• +۴ مورد دیگر

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
• +۲ مورد دیگر

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 Classenمشاهده پروفایل

دانشیار

• Knowledge Representation
• Automated Reasoning
• Agent-based Systems
• +۲ مورد دیگر

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 Veggeمشاهده پروفایل

استاد

• Autonomous materials discovery
• Energy conversion and storage
• Battery materials
• +۴ مورد دیگر

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 Jiskaniمشاهده پروفایل

پژوهشگر ارشد

• Sustainability
• Environmental Science
• Mining Engineering
• +۴ مورد دیگر

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.

Axel Polleresمشاهده پروفایل

استاد

• Semantic Web
• Knowledge Engineering
• Data Management
• +۱۲ مورد دیگر

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.

• Programming Languages
• Reversible Computation
• Quantum Computing
• +۷ مورد دیگر

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
• +۵ مورد دیگر

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 Jaegerمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Machine Learning
• Bayesian Networks
• +۵ مورد دیگر

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.

Martin Schoeberlمشاهده پروفایل

استاد

• Real-Time Systems
• Embedded Systems
• Multicore Processing
• +۳ مورد دیگر

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 Hansenمشاهده پروفایل

پژوهشگر ارشد

• Digital Twin
• Discrete Manufacturing
• Engineering
• +۴ مورد دیگر

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

• Software Engineering
• Process Modeling
• Business Process Management
• +۵ مورد دیگر

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.