Jan Madsen is a Professor at DTU Compute, Technical University of Denmark, and Head of the Embedded Systems Engineering section. His research focuses on system-level modeling and design of embedded computing systems, particularly cyber-physical systems, microfluidic biochips, and synthetic biology applications. Develops design automation tools and methodologies for embedded systems Supervises numerous PhD students and leads major research projects Research Interests Key areas include: Embedded systems-on-a-chip Cyber-Physical Systems (Internet-of-Things) Microfluidic Lab-on-Chip devices Synthetic biology with molecular computing Design, modeling, and optimization of complex systems Scientific Awards DATE Fellow (2019) IEEE CEDA Outstanding Recognition (2019) DTU Scientific Advise Award (2013) Best Paper Awards at MECO (2013) and CASES (2009) Jorck’s Foundation Research Award (1995) Publications His 14+ journal papers and 115+ conference papers demonstrate expertise in: SystemC-based modeling frameworks Energy-aware sensor networks Self-healing eDNA architectures Microfluidic biochip synthesis RTOS modeling and MPSoC exploration
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 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.
Kantaro Fujiwara serves as Associate Professor at the Graduate School of Medicine, The University of Tokyo, with concurrent appointments at the International Research Center for Neurointelligence (IRCN) and the Department of Mathematical Informatics, Graduate School of Information Science and Technology. He also manages the Data Science Core infrastructure for IRCN. His academic background includes a Ph.D. in Information Science and Technology from the University of Tokyo (2008), followed by postdoctoral research at the University of Tokyo (JSPS) and University of Cambridge, then assistant professorships at Saitama University and Tokyo University of Science before joining the University of Tokyo faculty. Dr. Fujiwara's research bridges computational neuroscience and neural data analysis through mathematical modeling of neural networks, development of neural data analysis methodologies, and exploration of brain-inspired machine learning. His work extends to biological information processing with specific applications in pancreatic beta cell modeling for diabetes research, establishing connections between theoretical frameworks and experimental neuroscience. His publication record (2017-2023) reveals consistent interdisciplinary contributions applying echo state networks, recurrence analysis, and nonlinear dynamics to neural data classification, physiological signal processing, and disease modeling. These works demonstrate strong integration of computer science, neuroscience, and biomedical engineering methodologies to solve complex neurobiological problems. As Data Science Core Manager at IRCN, he oversees computational infrastructure and software resources that enable advanced neurointelligence research across the University of Tokyo ecosystem, providing critical support for data-intensive neuroscience projects.
Kohei Nakajima is an Associate Professor at the Department of Intelligent Mechano-Informatics, Graduate School of Information Science and Technology, The University of Tokyo. He holds concurrent positions at the Department of Creative Informatics and the Next Generation Artificial Intelligence Research Center (AI Center). As an Endowed Chair in Advanced Artificial Intelligence Education, he leads the Physical Intelligence Lab, which focuses on the intersection of soft robotics, nonlinear dynamics, and physical computing. His research interests center on Physical Reservoir Computing (PRC), a paradigm that exploits the natural dynamics of physical systems for computation, with applications in soft robotics, spintronics, and quantum machine learning. Nakajima's work demonstrates how physical systems can inherently process information without traditional digital computation, leveraging phenomena like chaos, bifurcations, and embodied intelligence. Nakajima's publications reveal a strong focus on understanding how physical systems can perform computational tasks. His recent work spans from biological applications (jellyfish cyborgs, ostrich-inspired robotics) to fundamental theoretical advances in reservoir computing. The research demonstrates how physical phenomena can be harnessed for information processing, with implications for energy-efficient computing and novel robotic control paradigms. As the organizer of the Reservoir Computing Seminar, Nakajima has built a vibrant research community exploring the nature of information processing across disciplines. His lab actively recruits graduate students and postdocs, indicating strong research momentum and institutional support for his work in physical intelligence.
Thomas Ebel is Professor and Head of the Centre for Industrial Electronics at the University of Southern Denmark (SDU) , Institute of Mechanical and Electrical Engineering. A leading expert in power electronics, high-voltage engineering and capacitor technology, he directs large, multi-partner research projects and teaches/supervises at both graduate and PhD levels. Education & Career Path Prof. Ebel holds the academic title Dr. rer. nat. and has been appointed full Professor at SDU. He concurrently serves as Head of Section at the Centre for Industrial Electronics, orchestrating cross-disciplinary research teams and infrastructure. Research Interests Power Electronics & Power Conversion: advanced converter topologies, WBG devices (GaN, SiC), high-frequency magnetics, grid-forming control. Dielectric Materials & Capacitors: polymer and hybrid nanocomposite dielectrics, self-healing metallized film capacitors, aluminium electrolytic capacitors, lifetime modelling and reliability. High-Voltage Engineering & Breakdown Physics: breakdown mechanisms in nanocomposites, corona and partial discharge, insulation coordination. IoT & Data-Driven Monitoring: real-time condition monitoring, digital twins, data-driven RUL estimation for power components. Publication Trends Across 133 research outputs (2018-2025) the dominant themes are (i) construction and reliability of 700 V-class aluminium polymer electrolytic capacitors, (ii) GaN-based power converter optimisation, (iii) hybrid AC/DC microgrid control and harmonic mitigation, and (iv) nanocomposite dielectrics for next-generation capacitors. The 15 most recent articles (2025) reinforce these directions while adding socio-technical energy analytics and green-vehicle powertrains. Scientific Awards Tek Innovation Prize 2023 – awarded for outstanding contributions to power electronics research and industrial innovation. Advising & Funding Prof. Ebel currently supervises ~10 PhD candidates and post-docs including L. Tavares, M. A. Khan, R. Maheshwari, S. Mateen, A. N. Pinky and others. He is Principal Investigator or Head Coordinator of six active projects (2024-2027) valued at >€8 M, spanning ultra-high-efficiency drives, hydrogen-PtX converters, self-healing capacitors and hybrid power-plant concepts. Laboratory & Teams He heads the High-Voltage Power Electronics Laboratory at SDU, equipped with 700 V/200 A capacitor test rigs, GaN/SiC converter prototyping benches, and environmental chambers for accelerated ageing studies. The centre collaborates with 20+ industrial partners and coordinates the international IEA Wind Task 50 on hybrid power plants.
Peter M. Boenisch serves as Professor of Dramaturgy at Aarhus University within the School of Communication and Culture's Department of Dramaturgy. He concurrently holds the position of Co-Director for the AU IKK Research Programme "Cultural Transformations" and represents the Department of Dramaturgy and Musicology in the IKK Institutforum. In 2024, he was elected President of the European Association for the Study of Theatre and Performance (EASTAP). His research centers on the critical intersection of theatre and society, with specialized expertise in theatre dramaturgy, Regietheater practices (particularly within German- and Dutch-speaking contexts), and the institutional frameworks governing European theatre production. He investigates how theatre institutions respond to 21st-century societal plurality beyond major cosmopolitan centers, informed by political philosophy through thinkers like Slavoj Žižek, Jacques Rancière, and Andreas Reckwitz. His work critically engages with foundational theorists including Hans-Thies Lehmann and Bertolt Brecht while acknowledging their historical positioning. Boenisch's scholarly output reveals a sustained focus on European theatrical traditions, directorial methodologies, and institutional analysis. His publications consistently examine the sociopolitical dimensions of theatre production, with particular attention to German-language Regietheater and its evolution within contemporary European contexts. This body of work establishes him as a significant voice in dramaturgical theory and practice. He actively supervises BA, MA, PhD candidates, and Post-Doc researchers while leading the CESDAS consultancy project (2022-2025) focused on applied dramaturgy. His institutional collaborations span European theatre networks including Schauspiel Dortmund, Blaagaard Teater Copenhagen, Aarhus Teater, Katapult Aarhus, and Schaubühne Berlin. Boenisch maintains extensive artistic partnerships with prominent figures including directors Julia Wissert, Sigrid Johannesen, Simon Boberg, and Thomas Ostermeier. He contributes to the ILT Festival Aarhus through development of professional festival programming strategies, demonstrating his commitment to bridging academic research and practical theatre production across institutional and national boundaries.
Naja Blytmann Trondhjem serves as Associate Professor in the Department of Cross-Cultural and Regional Studies at the University of Copenhagen's Faculty of Humanities, concurrently leading the Language Research Center at the University of Greenland. Her research bridges linguistic theory with practical applications in Greenlandic language preservation and education through collaborations with Ilisimatusarfik, National Museum of Greenland, and Danish healthcare institutions. Her academic credentials include: Ph.D. in West Greenlandic Language (2008) Master in West Greenlandic Language with Linguistics (2000) Physiotherapy qualification (1984) Trondhjem's research centers on Greenlandic syntax, morphology, and morphophonology, examining syntactic constructions, suffix usage in word formation, and phonological changes during morpheme attachment. Her comparative studies span Greenlandic dialects and other Inuit languages, addressing language evolution and structural variations with emphasis on derivational/inflectional affixes and sentence construction differences. Analysis of her publications reveals sustained focus on aspectual phenomena in West Greenlandic—including verbal aspect, distributive/collective markers, and habitual constructions—alongside investigations into emotion expression, valency systems, and language education challenges. This work demonstrates interdisciplinary integration of linguistic theory with cognitive science and healthcare applications. Dr. Trondhjem leads three major collaborative initiatives: 'Last call - Greenlandic dialects as linguistic heritage' documenting dialectal diversity; 'Teaching in Greenlandic at primary schools' addressing educational barriers; and 'Grammar and agrammatism in Greenlandic' studying aphasia patterns in collaboration with Danish and Greenlandic hospitals. She actively participates in expert committees regarding Greenlandic affairs in Denmark, organizes Greenlandic grammar workshops, and contributes to media discussions on language policy, dialect preservation, and educational challenges facing Greenlandic speakers.
Elli Anastasiadi is an Assistant Professor in the Department of Computer Science at Aalborg University, part of the Technical Faculty of IT and Design. She is a member of the DEIS (Distributed, Embedded and Intelligent Systems) research group, which focuses on formal methods, verification, and intelligent systems. Prior to her current role, she was a postdoctoral researcher at Uppsala University and completed her PhD at Reykjavik University. Education: PhD in Computer Science, Reykjavik University (2022) Master’s in Applied Mathematics and Computer Science, NTUA, Greece Her research centers on formal verification of concurrent and parallel systems , with emphasis on runtime verification, process algebra, and logical foundations. She works extensively with hyperproperties, modal logic, and equational reasoning. Her work bridges theoretical computer science with practical verification tools. Recent publications show a strong trend in logic-based verification , particularly in modal and temporal logics, recursion, and monitor synthesis. Her work often involves complexity analysis and axiomatization of logical systems. Scientific Awards: PhD grant from Reykjavik University research fund She has advised no publicly listed students yet and is actively involved in academic service, including co-organizing workshops and being an invited speaker. She collaborates closely with leading researchers in concurrency theory and formal methods. Labs and Teams: Member of the DEIS research group at Aalborg University, contributing to projects on verification, distributed systems, and intelligent decision-making.
Tom Kirchmaier is Professor of Governance, Risk, Regulation and Compliance at Copenhagen Business School's (CBS) Department of Accounting and Centre for Corporate Governance. He concurrently serves as a Professorial Fellow and Director of Policing and Crime at the London School of Economics' Centre for Economic Performance. He is also a Faculty Affiliate at LSE's Data Science Institute and member of the UK Home Office Scientific Advisory Council. Research Interests: Kirchmaier's work empirically analyzes organizational governance using large datasets. Primary domains include: Law/economics intersections Policing systems and crime patterns Anti-money laundering (AML) and organised crime networks Corporate boards with emphasis on gender dynamics Risk management and compliance frameworks Publication Trends: Recent articles (2021-2025) demonstrate strong focus on empirical crime analysis (e.g., terrorism impacts, domestic abuse recidivism) and corporate governance in banking. Methodologies leverage big data to study spatial crime patterns, behavioral economics, and organizational efficiency across financial and public sectors. Awards: 2024 LSE Innovation Challenge Winner Teaching & Advising: Supervises 1 PhD and 1 Master's student. Teaches graduate/executive courses: Corporate governance and finance MBA compliance/risk management Board training programs
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.
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.
Peter Sestoft is a Professor at the IT University of Copenhagen (ITU), leading the Computer Science Department since 2017. His primary roles include academic leadership, research in programming languages and software engineering, and teaching. He holds a PhD in Computer Science from the University of Copenhagen (1991) and has held academic positions at institutions like the Royal Veterinary and Agricultural University and the Technical University of Denmark before joining ITU in 1999. His research focuses on programming languages, functional and managed object-oriented languages, parallel programming, compilers, and spreadsheet implementation technologies. He has developed influential tools like the C5 Generic Collection Library for C# and Moscow ML, a Standard ML implementation. His work on Funcalc and Corecalc advanced spreadsheet technology with user-defined functions and efficient recalculation algorithms. Key contributions include over 30 publications, including books on programming language concepts and Java/C# syntax. He has led major research projects such as 'Popular Parallel Programming' (P3) and 'Probabli' for actuarial calculations. His academic service includes roles on national grant committees and international conference organizing committees. Notable advising includes PhD students like Andrzej Wasowski (ITU Professor) and David Christiansen (Director of Haskell Foundation). His work has been recognized through grants exceeding 25 million DKK and collaborations with institutions like Microsoft Research and Harvard University.
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 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.
