جست‌وجوی استاد و پژوهشگر

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.

Stefan Hallerstedeمشاهده پروفایل

دانشیار

• Software Engineering
• Computer Systems
• Formal Methods
• +۴ مورد دیگر

Stefan Hallerstede is an Associate Professor at the Department of Electrical and Computer Engineering, Aarhus University. His research focuses on formal methods, software engineering, and cyber-physical systems, with a particular emphasis on component-based systems and code generation. He has contributed to over 61 research outputs and participated in 23 peer-review activities.

• Information Retrieval
• Data Science
• Text Analytics
• +۵ مورد دیگر

Christina Lioma is a Full Professor at the Department of Computer Science (DIKU), University of Copenhagen . She has held academic positions including Associate Professor (2014-2018) and Freja Fellow/Assistant Professor (2012-2013) at the same institution. M.Hons (University of Glasgow, 2001) M.Sc. (University of Manchester, 2003) Ph.D (University of Glasgow, 2007) Her research focuses on Information Retrieval , Text Analytics , and Recommender Systems within Applied Machine Learning and Natural Language Processing . Recent work examines fairness-relevance tradeoffs in recommendation systems and neural mechanisms for knowledge conflict tracing. Recent publications in Nature Communications and top conference proceedings (WWW, SIGIR) explore hybrid computation architectures, brain-based language generation, and fairness evaluation metrics. She actively participates in academic conferences as organizer and speaker, including the European Conference on Information Retrieval.

Michele Albanoمشاهده پروفایل

دانشیار

• Internet of Things (IoT)
• Energy Engineering
• Quality of Service (QoS)
• +۵ مورد دیگر

Affiliations & Roles Michele Albano is an Associate Professor at the Department of Computer Science, Aalborg University, Denmark. He is affiliated with The Technical Faculty of IT and Design, focusing on research in IoT, Cyber-Physical Systems, and Edge Computing. He leads the Productive4.0 project (2017–2020), funded by Horizon Europe, addressing Industry 4.0 challenges in product lifecycle management. His work integrates formal verification tools like Uppaal with real-world applications in robotics, energy systems, and blockchain-based platforms. Research Interests Albano's research spans IoT architecture optimization , energy-efficient systems , and model-driven engineering . He develops tools for autonomous exploration algorithms (MAES), edge-cloud resource orchestration, and fault-tolerant computation offloading. His work bridges theoretical models (e.g., Uppaal SMC) with practical implementations in smart grids and robotic systems. Recent projects include blockchain-based crowdsourcing for machine learning and energy-aware thermal dynamics estimation in buildings. Collaborations & Impact He collaborates with the European Industry 6.0 community, contributing to the Arrowhead Framework for interoperable IoT systems. His research outputs include 112 publications, with 2025 highlights in human-inspired robotics and cognitive cloud frameworks. Media coverage in 2024–2025 highlights his work on green IT and secure API generation. Albano advises students on system modeling (e.g., ACSmt plugin development) and edge computing optimization. Labs & Teams His research group focuses on Cyber-Physical Systems and Smart Grids , with contributions to tools like RoutesMobilityModel and FlexHousing. He actively participates in workshops on New Trends in Software Architecture (SATrends '24) and IEEE conferences on Industrial Informatics.

Andrea Vandinمشاهده پروفایل

دانشیار

• Formal methods
• Qualitative and quantitative system modeling and analysis
• Domain Specific Languages
• +۷ مورد دیگر

Andrea Vandin serves as an Associate Professor in the Formal Methods for Safe and Secure Systems section at DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark. Her research integrates theoretical computer science with practical system analysis, focusing on formal verification methodologies for complex systems. Her primary research interests include: Formal methods for system verification Qualitative and quantitative modeling techniques Domain-specific language development Large-scale performance analysis Model reduction algorithms Chemical reaction network analysis Statistical model checking Recent publications demonstrate expertise in constrained lumping of chemical systems, network embedding through equitable partitions, and stochastic conformance checking. Her work bridges computer science, mathematics, and systems biology with applications in sustainable system design. She actively contributes to UN Sustainable Development Goals through formal verification approaches for safe and secure systems. Her research shows strong trends toward applying model reduction techniques to chemical reaction networks and agent-based systems, with increasing focus on statistical verification methods and probabilistic modeling. The integration of MultiVeStA with Mesa for Python agent-based models represents a significant contribution to verification capabilities in simulation environments.

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.

Morten Rhigerمشاهده پروفایل

دانشیار

• Computer Science
• Programming Languages
• Semantics of Programming Languages
• +۱۰ مورد دیگر

Morten Rhiger is an Associate Professor in the Department of People and Technology at Roskilde University, Denmark, specializing in programming language theory and implementation with expertise in semantics, type systems, and compiler design. His research portfolio centers on: Programming Languages : Core design principles and theoretical foundations Semantics : Formal denotational and operational frameworks Type Systems : Safety mechanisms and correctness verification Compilers : Optimization techniques and runtime systems Program Generation : Staged computation and automatic code synthesis Multi-stage Languages : Runtime code generation and partial evaluation Publication trends reveal sustained contributions from foundational work (2009-2012) on pattern combinators and staged computation to recent innovations in type-based uncurrying (2024), with significant interdisciplinary work on energy-transparent systems (2016). His research consistently bridges theoretical rigor with practical implementation challenges. Rhiger actively contributes to major research initiatives including ENTRA (2012-2015) for energy transparency, NUSA (2011-2013) for model checking, and recent energy-certification projects (2020-2022), demonstrating sustained focus on program analysis and energy-aware computing. He maintains strong community engagement through organizing the Copenhagen Programming Languages Workshop and participating in key conferences including the Symposium on Implementation and Application of Functional Languages.

• Natural Language Processing
• Machine Learning
• Computational Linguistics
• +۳ مورد دیگر

Johanna Maria Düngler is a Research Fellow at the Department of Computer Science , University of Copenhagen . She is affiliated with the Natural Language Processing (NLP) section, which focuses on advancing methods for text processing, language understanding, and generation using statistical models and machine learning. The section addresses applications such as automatic fact-checking, machine translation, and multi-modal learning involving vision and language.

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

• Natural Language Processing
• Large Language Models
• Bias Detection
• +۳ مورد دیگر

Zain Muhammad Mujahid is a PhD Fellow at the Department of Computer Science , University of Copenhagen (UCPH). His research focuses on Natural Language Processing with emphasis on Large Language Models (LLMs), bias detection, and fact-checking methodologies. Research Interests Factuality and bias prediction in news media LLM evaluation and error analysis Cross-lingual fact-checking systems Arabic-centric language modeling Evidence attribution in summarization AI safety in multilingual contexts Publications Zain's recent work addresses critical challenges in trustworthy AI, including automating error detection in NLG systems, developing cross-lingual bias detection frameworks (SAFARI), and creating benchmarks like Factcheck-Bench for evaluating automatic fact-checkers. His research also explores bilingual safety evaluation in Kazakh-Russian contexts and cultural adaptation of LLMs for Arabic language processing.

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

دانشیار

• Temporal Logics
• Reactive Synthesis
• Automata Theory
• +۳ مورد دیگر

Martin Zimmermann is an Associate Professor in the Department of Computer Science at Aalborg University, where he leads the Distributed, Embedded and Intelligent Systems research group. Previously, he held roles as a lecturer at the University of Liverpool and postdoctoral researcher at Saarland University and the University of Warsaw. He earned his PhD from RWTH Aachen University, with a Fulbright-funded period at DePaul University in Chicago. Education: PhD in Computer Science, RWTH Aachen University MSc in Computer Science, RWTH Aachen University (with Fulbright at DePaul University) Research Interests: Zimmermann focuses on temporal logics, reactive synthesis, and automata theory, particularly exploring HyperLTL, model-checking techniques, and formal verification challenges. His work bridges theoretical foundations with practical applications in real-time systems and neural-network control. Key Contributions: Notable publications include advancements in HyperQPTL model-checking, complexity analysis of second-order HyperLTL, and robust temporal logics. His research often addresses decidability, computational complexity, and algorithmic solutions for infinite games and reactive systems. Teaching: Teaches courses like Computability and Complexity, Algorithms and Computability, and Computer Architecture at Aalborg University. Service: Served on PCs of major conferences (e.g., CONCUR, CSL) and organized events like MOVEP 2022. Awards: Received the Best Paper Award at MFCS 2021 for groundbreaking work on pushdown automata expressiveness.

Marco Antonio Muniz Rodriguezمشاهده پروفایل

دانشیار

• Timed Automata
• Formal Verification
• Model Checking
• +۶ مورد دیگر

Marco Antonio Muniz Rodriguez is an Associate Professor at the Department of Computer Science, part of The Technical Faculty of IT and Design at Aalborg University. His research focuses on formal methods, specifically timed automata and model checking, with applications in machine learning, stochastic systems, and safety-critical decision-making. He contributes to the UPPAAL verification tool and explores interdisciplinary areas like healthcare optimization and traffic systems. He participated in the BEO-COVID project (2020), developing decision support tools for pandemic management. His work integrates formal verification techniques with machine learning to address real-world problems such as traffic rerouting and epidemic prevention. Key collaborations include projects with the Poul Due Jensen Foundation and industrial partners. His research spans theoretical advancements in timed systems and practical implementations, emphasizing computational efficiency through GPU acceleration and static analysis. He has published on topics ranging from stubborn set reduction to proactive traffic management, demonstrating a commitment to both foundational research and applied solutions.

Danny Bøgsted Poulsenمشاهده پروفایل

دانشیار

• Formal Methods
• Model Checking
• Cyber-Physical Systems
• +۳ مورد دیگر

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.

Hugo-Andrés López-Acostaمشاهده پروفایل

دانشیار

• Business Process Management
• Formal Methods
• Distributed Systems
• +۳ مورد دیگر

Hugo-Andrés López-Acosta serves as an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), actively contributing to research in business process management and digital compliance. His work aligns with UN Sustainable Development Goals through innovative computational solutions for regulatory frameworks and process optimization. His core research spans Business Process Management , Formal Methods , Distributed Systems , and Programming Languages , with specialized expertise in process mining, ambiguity resolution in business descriptions, and compliance automation. Recent projects integrate natural language processing with process modeling to address challenges in healthcare guidelines and regulatory adherence, emphasizing tool-driven approaches for real-world implementation. Analysis of his 2025 publications reveals a concentrated focus on enhancing business process compliance through declarative mining techniques and clinical pathway extraction, demonstrating cross-domain applicability in healthcare and regulatory technology. His work consistently bridges theoretical formal methods with practical software engineering solutions. Scientific recognition includes: Otto Mønsteds Fund: Travel grant (2015) As an academic supervisor, he mentors PhD candidate Caballero Villalobos, J. in the Immersive Process Mining project (2024-2027), while leading the DICE Center for Digital Compliance as Principal Investigator. This center drives research in computational compliance frameworks, regulatory technology, and laws-based system design through multi-institutional collaboration. His leadership in the DICE Center establishes a dedicated research ecosystem for digital compliance innovation, fostering interdisciplinary work on regulatory implementation and process verification methodologies.

Falke Bjernemose Øtker Carlsenمشاهده پروفایل

پژوهشگر

• Formal Verification
• Model Checking
• Temporal Logic
• +۳ مورد دیگر

Falke Bjernemose Øtker Carlsen is a researcher affiliated with the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. Their work focuses on distributed systems, formal verification, and traffic simulation, with recent contributions to model checking and heuristic-based traffic scenario generation. Current affiliation: Department of Computer Science, Aalborg University Research areas: Formal verification, model checking, traffic simulation Contact: falkeboc@cs.aau.dk Recent research activity spans two key domains: (1) Formal Verification of concurrent systems through distributed model checking frameworks like CGAAL, and (2) Traffic Simulation using SUMO with application to urban mobility scenarios. Both projects demonstrate interdisciplinary approaches combining theoretical computer science with applied systems analysis. Their publication record includes work on temporal logic applications, search strategies for model checking, and case studies in traffic analysis. Collaborations appear to focus on European computer science research networks.