استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۱۶-۳۰ از ۹۲ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
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.
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–)
استادیار
Sandra Greiner is an Assistant Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark (SDU), where she conducts research in artificial intelligence, cybersecurity, and programming languages. Her work is centered on improving the reliability and adaptability of control software in cyber-physical production systems through advanced software engineering techniques. Her research interests include software variability modeling , design by contract , and the application of generative AI in automating software development tasks. She focuses on ensuring high reliability in software-intensive systems, particularly in industrial automation contexts. Her work bridges theoretical computer science with practical software engineering challenges. The recent publications highlight a strong trend in leveraging AI for software contract generation, enhancing feature tracing with reliable knowledge, and managing variability in complex production systems. Her research contributes to model-driven engineering, software product lines, and intelligent software assistance, with a consistent emphasis on empirical validation through case studies. Sandra actively collaborates with researchers across Europe, particularly in Austria and Germany, contributing to top-tier conferences such as SPLC, MODELS, and GPCE. Her work has been published in high-impact journals and conference proceedings, reflecting active engagement in the global software engineering community. She is affiliated with the IMADA research center at SDU, as evidenced by her institutional email. No formal awards or fellowships are mentioned in the provided data. Sandra advises no publicly listed students, and there is no indication of lab leadership or team management in the text. However, her collaborative publications suggest participation in research teams focused on software product lines and AI-driven software engineering.
دانشیار
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.
Kurt Jensen is a Professor at the Department of Computer Science, Aarhus University, Denmark. His academic career spans decades, focusing on formal modeling, concurrency, and software specification techniques. Research interests: Coloured Petri Nets, modeling and validation of distributed systems, simulation tools, and formal methods. Affiliation: Aarhus University, Department of Computer Science (School of Engineering not explicitly mentioned). His publications, including the seminal book series Coloured Petri Nets , emphasize theoretical computer science and practical applications in concurrent systems. Key contributions include the Invariant Method for Petri Net analysis and tools for system validation.
Jakob Lykke Andersen is an Associate Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark (SDU), where he conducts research in algorithms with applications in cheminformatics and complex systems. He also holds a former external appointment as a Research Fellow at the Tokyo Institute of Technology (2015–2017). Research Interests: His work lies at the intersection of computer science and theoretical chemistry, focusing on algorithmic methods for analyzing chemical reaction networks. He employs hypergraphs, mixed-integer linear programming, and probabilistic models to study metabolic pathways, reaction databases, and prebiotic systems. His research emphasizes computational efficiency, formal modeling, and software implementation. Publication Trends: His recent publications (2019–2025) show a consistent focus on graph-based modeling of chemical systems, rule extraction from reaction databases, thermodynamic feasibility, and stochastic analysis. These works appear in high-impact journals in cheminformatics, bioinformatics, and complex systems, reflecting strong interdisciplinary collaboration. Scientific Contributions: While no specific awards are listed, his sustained research output and leadership in funded projects highlight significant contributions to algorithmic cheminformatics. Grants and Projects: He is actively involved in two major ongoing research projects: (1) Software Infrastructures for Teaching at Scale (funded by Innovation Fund Denmark, 2022–2025), and (2) DIREC (Danish Research Center for Digital Economy, 2020–2025), indicating active engagement in both educational technology and core computational research. Advising and Outreach: While no students are listed, he participates in academic advising through project supervision. He contributes to public discourse through media appearances on topics such as mathematics in health (e.g., intestinal system modeling in obesity) and educational well-being. Labs and Teams: He collaborates with interdisciplinary teams, including researchers from bioinformatics, chemistry, and computer science, particularly through projects involving Merkle, Flamm, Fagerberg, and Stadler. His work is associated with algorithmic cheminformatics and software framework development groups at SDU.
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.
Mahsa Varshosaz is an Associate Professor in Software Engineering at the IT University of Copenhagen, specializing in AI safety, formal verification, and program repair. Her work bridges theoretical research with practical applications in autonomous systems, particularly marine robotics. Current research focuses on model-based testing and formal specification for reinforcement learning systems Active in program repair techniques for concurrency bugs Collaborates with European Commission-funded initiatives in AI safety Recent publications highlight her expertise in autonomous underwater vehicle safety analysis and static program analysis for locking bugs. Her work intersects software engineering, artificial intelligence, and systems validation. Key projects include REMARO (Reliable AI for Marine Robotics) and DIREC (Verifiable and Safe AI), funded by major research foundations. She contributes to open-access datasets and peer-reviewed research through collaborations.
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.
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.
Roles and Affiliations: Jørgen Villadsen is an Associate Professor at the Technical University of Denmark (DTU), affiliated with the Department of Applied Mathematics and Computer Science and the Algorithms, Logic and Graphs Section. He serves as Head of Study and focuses on formal logic, multi-agent systems, and computer science education. Education: MSc in Computer Science and Engineering (1989, DTU) and PhD in Computer Science (1995, DTU). Research Interests: Villadsen’s work centers on logic and its applications in computer science and artificial intelligence, including formal methods, multi-agent systems, type theory, and non-classical logics. He emphasizes the development of proof assistants like Isabelle and tools for teaching logic and formal reasoning. Recent Research Trends: His publications from 2020–2017 highlight contributions to logic education, automated reasoning, and multi-agent system design. Key areas include Isabelle-based proof systems, hybrid logic formalization, and competitive agent development in programming contests. Scientific Contributions: He has led teams in the Multi-Agent Programming Contest, published extensively in journals like Annals of Mathematics and Artificial Intelligence , and contributed to open-source tools like NaDeA and SPA. Grants and Projects: Involved in projects such as CONTROL (constraint-based language processing) and HyLoMOL (hybrid logic integration). Supervised numerous MSc and PhD students in multi-agent systems and formal methods. Labs/Teams: Active in the Multi-Agent Systems Lab, leading development of agents for competitions and educational tools. Collaborates internationally on logic, AI, and formal verification.
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.
Jesper Bengtson is a Lecturer in Theoretical Computer Science specializing in Programming Logic and Semantics at the IT University of Copenhagen. His research primarily focuses on formal methods for programming languages, with particular expertise in session types, separation logic, and proof assistants. Dr. Bengtson's research interests center around programming language theory and formal verification. His work explores how to mathematically verify software correctness through logical frameworks. He specializes in session types for communication protocols, separation logic for reasoning about concurrent programs, and developing tools for interactive theorem proving. His research bridges theoretical computer science with practical applications in software verification. His publication record shows consistent contributions to programming language theory over the past decade, with a clear trend toward applying formal methods to concurrent and distributed systems. Recent work demonstrates increasing focus on mechanized verification of session type systems and integration of session types with separation logic for concurrent program verification. Dr. Bengtson has been involved in several significant research projects including MECHANIST (MECHANIsation of Session typEs, 2021-2025), ToMeSo (Tools and Methods for Scalable Software Verifications, 2009-2013), and a general-purpose framework for software verification (2013-2017). These projects were funded by major Danish research foundations including Danmarks Frie Forskningsfond and Independent Research Foundation of Denmark. His work has been featured in media outlets, including a 2015 article titled 'Danish researcher wants to eradicate software errors' and a 2021 piece about 'Natural or woke? Big shooter introduces controversial soldier,' indicating public engagement with his research.
مدرس پارهوقت
Hans Hüttel is a Part-time Lecturer and Guest Researcher in the Department of Computer Science at the University of Copenhagen's Faculty of Science, specializing in Programming Languages and Theory of Computation within the Programming Languages and Theory of Computation research group. His research focuses on: Type systems for programming languages Process calculi and concurrency theory Formal semantics of programming languages Static analysis techniques Theoretical foundations of programming languages Data flow and alias analysis Hüttel's scholarly work demonstrates sustained contributions to programming language theory with publications spanning from 2022 to 2025. His research trajectory shows both theoretical depth in process calculi and practical applications in modern programming languages. The 2025 publication on program synthesis indicates adaptation of his expertise to emerging AI-assisted programming paradigms while maintaining rigorous theoretical foundations. His publications appear in reputable venues including Communications of the ACM, Information and Computation, and Electronic Proceedings in Theoretical Computer Science, reflecting both theoretical significance and practical relevance in programming language design and implementation. Hüttel maintains active collaborations with researchers across multiple institutions as evidenced by his co-authored publications with colleagues including Lybech, Bendixen, Bojesen, Lund, Jensen, Paulsen, Teule, and Saioc. His work receives attention across academic platforms with readership on Mendeley and mentions on social media platforms including X and Bluesky.
استادیار
Eduard Kamburjan is an Assistant Professor in the Department of Software Engineering at the IT University of Copenhagen. His research focuses on integrating Semantic Web technologies with formal methods to develop and analyze data-heavy computational systems, particularly Digital Twins. He is the creator of the SMOL language for knowledge graph integration and Crowbar, a deductive verification system for Active Objects. His current work explores novel approaches to modularity in program verification, emphasizing contracts for distributed and hybrid systems. In 2024, he contributed to a publication on probabilistic dynamic logic proof systems. Eduard's research is affiliated with the Software Quality Research (SQUARE) group. His ORCID profile (0000-0002-0996-2543) and contact details, including his office in Copenhagen (Denmark), are publicly accessible.
