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

Jiri Srbaمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Petri Nets
• +۴ مورد دیگر

Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk. His core research focuses on formal methods and applied computer science: Model checking and verification of concurrent systems Petri nets and their applications Network protocol verification and synthesis Distributed system correctness Automated reasoning for industrial systems His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.

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

دانشیار

• Process Mining
• Business Process Management
• Petri Nets
• +۶ مورد دیگر

Andrea Burattin is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark. His work bridges formal methods and practical process analysis, focusing on process mining, business process management, and hybrid modeling techniques. He actively contributes to research in healthcare process optimization, streaming data analysis, and system verification through Petri nets and CCS transformations. UN Sustainable Development Goals: Poverty eradication, environmental protection, and prosperity for all (via process optimization) Active projects: Immersive Process Mining (2024-2027), Usability and Understandability of Hybrid Process Models (2018-2021) His research explores large language model integration with process mining, proposing frameworks like Tiramisù for multi-faceted process visualization and PN2CCS for formal model translation. Recent work emphasizes real-time monitoring, conformance checking, and IoT-driven process analytics. Key trends in his publications include: 1) Streaming process mining pipelines (2022-2025); 2) LLM-plan generation frameworks (2024); 3) Formal verification techniques (Petri nets, CCS); 4) Healthcare process modeling (2019-2023); 5) Behavioral pattern analysis in process compliance. Scientific Awards Best Demo Award (2022, 2016) Best Process Mining Dissertation Award (2014) Best Workshop Paper (EDBA and PODS4H, 2023) As advisor, he supervises PhD projects on process mining and hybrid modeling. His editorial roles include Information Systems reviewer (2024-2025) and past editor for Engineering Applications of AI (2022-2023). Collaborations span Denmark, Italy, and the Netherlands.

Anne Elisabeth Haxthausenمشاهده پروفایل

دانشیار

• Formal methods
• Specification languages
• Semantics
• +۶ مورد دیگر

Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.

• Business Process Management
• Declarative Process Modeling
• Hybrid Process Notations
• +۵ مورد دیگر

Tijs Slaats is an Associate Professor in the Software, Data, People & Society section at the Department of Computer Science, University of Copenhagen. His research focuses on Business Process Management with particular emphasis on declarative and hybrid process notations to provide flexible workflow support for knowledge workers, funded by the Danish Council for Independent Research. His educational background includes: M.Sc. in Information Technology from IT University of Copenhagen Ph.D. in Computer Science from IT University of Copenhagen (supervised by Thomas Hildebrandt) Dr. Slaats specializes in declarative process modeling, particularly Dynamic Condition Response (DCR) graphs which enable flexible workflow systems. His work bridges theoretical foundations with practical applications in cross-organizational settings. Recent research extends into blockchain technologies, smart contracts, and applications in sensitive domains like asylum processing and refugee law. He combines formal methods with empirical evaluation to ensure both correctness and usability of workflow systems. His publication pattern shows increasing application of process mining techniques to blockchain technologies and socially impactful domains, while maintaining core research in Business Process Management. Notable trends include integration of DCR graphs with smart contracts, privacy-preserving techniques for asylum data, and object-centric approaches to process discovery. Research funding includes: Hybrid Business Process Management Technologies project (Danish Council for Independent Research) Technologies for Flexible Cross-organizational Case Management Systems (FLExCMS) industrial Ph.D. project Alongside his academic work, Dr. Slaats maintains strong industry connections through Exformatics A/S where he developed the DCR Graphs workflow solution (www.dcrgraphs.net), and previously worked as a software engineer in the Dutch e-commerce sector. His dual expertise in academia and industry ensures his research addresses real-world workflow challenges while maintaining theoretical rigor.

Daniel Hardtمشاهده پروفایل

دانشیار

• Computational Linguistics
• Natural Language Processing
• Artificial Intelligence
• +۴ مورد دیگر

Daniel Hardt serves as Associate Professor in the Department of Management, Society and Communication at Copenhagen Business School. His interdisciplinary research bridges computational linguistics, artificial intelligence, and social analysis, with particular focus on natural language processing applications and theoretical linguistic phenomena. His primary research domains include Computational Linguistics (specializing in ellipsis resolution and sluicing phenomena), Natural Language Processing (developing methods for psychographic classification and sentiment analysis), and Artificial Intelligence (examining large language model capabilities and limitations). Recent work analyzes travel behavior during crises, gender effects in evaluations, and GDPR policy comprehension through NLP techniques. His publications span top venues including Linguistic Inquiry , Tourism Management , and ACL proceedings. Hardt actively engages with practical business applications through 27 media contributions discussing AI implementation, ChatGPT transparency, and data-driven leadership strategies. His academic service includes organizing events like the 2019 "Fake News" conference at CBS and presenting at international venues including JSAI 2024. With 28 supervised academic works documented, he maintains substantial mentoring activity while contributing to public discourse on digital transformation challenges.

Matteo Acclavioمشاهده پروفایل

استادیار

• Proof Theory
• Logic in Computer Science
• Concurrency Theory
• +۵ مورد دیگر

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

• Distributed Computing
• Data-Centric Systems
• Software Engineering
• +۳ مورد دیگر

Tilman Zuckmantel is a Research Assistant at the Software, Data, People & Society (SDPS) section of the Department of Computer Science , University of Copenhagen. His work focuses on distributed computing and data-centric systems, particularly in asynchronous choreographies and microservices architecture. Recent research outputs include: DACEO (2025): A declarative framework for asynchronous choreographies with event-ordering and object-oriented extensions. Event-based Data-Centric Semantics (2022): A model for consistent data management in microservices environments.

Michael Reichhardt Hansenمشاهده پروفایل

دانشیار

• Formal Methods
• Embedded Systems
• Real-Time Systems
• +۳ مورد دیگر

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

Rosario Giustolisiمشاهده پروفایل

دانشیار

• Computer Security
• Cryptographic Protocols
• Decision Systems
• +۷ مورد دیگر

Dr. Rosario Giustolisi is an Associate Professor in the Department of Computer Science at the IT University of Copenhagen . His research centers on computer security with a focus on cryptographic protocols for decision systems (e.g., voting and exams), automated security analysis, accountability frameworks, and sociotechnical security aspects. Before joining ITU, he held postdoctoral roles at SICS RISE and Lund University, Sweden, and earned his PhD from the University of Luxembourg with work on secure exam protocols, culminating in his book Modelling and Verification of Secure Exams (Springer, 2018). Research Trends: His 15 most recent articles (2016–2025) span cryptographic protocol design, coercion-resistant voting/exams, zk-SNARK applications, differential privacy, automated security analysis, and sociotechnical threat modeling. Key subfields include secure decision systems, privacy-preserving mechanisms, and formal verification. Scientific Awards: Best Paper Award, NordSec 2017 Best Paper Award, SECRYPT 2014 Villum Experiment Grant (Sole PI) 2020 ICT TNG Postdoc Grant (Sole PI) 2016 CSC Best PhD Thesis Award 2016 Acknowledgments from Apple for Security Advisory Professional Service: Organized cybersecurity breakfast talks at ITU and served on conference committees for ACM SAC (Security track), STAST, E-VOTE ID, and NordSec. He also contributed as a journal referee and sub-reviewer for multiple conferences.

• Declarative Process Modeling
• Process Mining
• Formal Verification
• +۴ مورد دیگر

Paul Cosma is a Postdoctoral Researcher at the Department of Computer Science (DIKU), University of Copenhagen, specializing in the Software, Data, People & Society (SDPS) section. His work focuses on declarative process modeling, formal verification, and explainable AI systems, with strong connections to process mining and Petri net theory. He completed his PhD at the University of Copenhagen's Faculty of Science in 2024 with a thesis on declarative process models as verifiable AI. His research interests center on declarative process modeling and formal verification of complex systems. Cosma develops techniques for improving model simplicity through nested group discovery and creates frameworks like BERMUDA for participatory mapping of domain activities to event data. His work bridges theoretical computer science with practical applications in business process management and AI explainability, emphasizing human-centered design principles where software systems are developed with societal impact in mind. Cosma's publication record shows a clear trajectory in process modeling research, with recent work focusing on transforming Dynamic Condition Response Graphs to Safe Petri Nets (2023) and improving declarative model simplicity (2024). His research demonstrates strong interdisciplinary connections between formal methods, AI verification, and human-computer interaction, particularly in making complex process models accessible and verifiable. Cosma actively collaborates with researchers including Thomas Hildebrandt, Tijs Slaats, and Axel Christfort, primarily within the SDPS section at DIKU. His work receives consistent citations in process mining literature, with his 2023 PETRI NETS paper accumulating 1 citation and his CAiSE 2024 paper gaining 2 Scopus citations. He maintains an ORCID profile (0000-0001-8022-6402) and contributes to open-access research through the university's Pure repository. Based in Sigurdsgade 41, Copenhagen N, Cosma operates within DIKU's collaborative research environment that emphasizes industry partnerships and interdisciplinary work. His recent PhD defense (June 13, 2024) marks his transition from doctoral candidate to postdoctoral researcher, positioning him to expand his contributions to process-aware information systems and verifiable AI.

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

استاد

• Programming Languages
• Theory of Computation
• Functional Programming
• +۵ مورد دیگر

Martin Elsman is a full-time Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science, University of Copenhagen (DIKU). He serves as head of the PLTC section and head of studies for the BSc education in Computer Science and Economics. Elsman is also an active maintainer of several software tools including the MLKit and SMLtoJs. Joined DIKU in 2012 after 4 years at SimCorp (2008-2012) and previous Associate Professorship at IT University of Copenhagen (2003-2008). Co-developer of Futhark, TAIL APL compiler, SMLtoJs, and SMLserver. Education: M.Sc. in Engineering, Technical University of Denmark Ph.D. in Computer Science, University of Copenhagen (DIKU), supervised by Mads Tofte. Research Interests: Elsman works on programming language design and implementation, with a focus on functional programming, module systems, domain-specific languages for financial contracts, region-based memory management, compilation techniques for parallelism, program optimization, and static type systems. His work spans both theoretical and applied domains, including blockchain-based financial contract execution, web technology, and GPU programming using functional languages. Publication Trends: His recent articles focus on functional programming, array programming, parallelism, and memory management. Topics include region inference, type systems for data-parallelism, program optimization techniques, and domain-specific compilation for financial and quantum computing. He frequently collaborates with Troels Henriksen and others on tools like Futhark and MLKit.

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

Brian Nielsen is an Associate Professor at Aalborg University's Department of Computer Science, under The Technical Faculty of IT and Design. His research focuses on Distributed Systems, Embedded Systems, Real-Time Systems, Model Checking, IoT Networks, and Autonomous Vehicles. He has been actively involved in projects such as domOS (operating system for smart buildings), FED (Flexible Energy Denmark), and compositional verification of multicore avionics systems. His work emphasizes model-based validation, formal methods, and industrial applications, particularly in safety-critical systems. Recent research highlights include energy-efficient motion planning for autonomous vehicles, comparative analysis of network simulators, and sigfox-based IoT modeling. He has received awards including the Application Coordinator Pool and START funds (both in 2007). Key Projects: domOS, FED, compositional verification of multicore systems Grants: Multiple EU-funded projects (e.g., Horizon Europe) and industry collaborations Awards: Application Coordinator Pool (2007), START funds (2007) His publications span over 80 articles, with a focus on real-time systems, IoT interoperability, and model-driven development. He has advised two PhD students and has been actively involved in organizing international conferences and workshops.

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.

Andreas Pavlogiannisمشاهده پروفایل

دانشیار

• formal methods
• algorithmic verification
• automata theory
• +۶ مورد دیگر

Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University. His research focuses on formal methods , algorithmic verification , automata theory , concurrency , static and dynamic program analysis , network diffusion , evolutionary graph theory , and evolutionary game theory . Teaching courses: Programming Languages (Bachelor) , Algorithmic Model Checking (Master) , and Program Analysis (Master) Service: Program committee member for POPL, ESOP, AAAI, IJCAI, CONCUR, OOPSLA, and organizer of CONFEST'25 His research has been supported by the Austrian Science Fund (FWF), VILLUM Foundation, Stibo Foundation, and Danish Council for Independent Research (DFF). He is actively recruiting PhD and PostDoc researchers. Recent publications span quantum computing , concurrent systems , evolutionary dynamics , and network science , with particular emphasis on symbolic algorithms , dynamic analysis , and graph-based models .

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.