Claudio Orlandi is a Professor in the Department of Computer Science at Aarhus University. His research focuses on cryptography, secure computation, privacy-preserving technologies, and blockchain security. He is actively involved in advancing cryptographic protocols for applications such as secure multi-party computation, zero-knowledge proofs, and homomorphic encryption. Orlandi has contributed to numerous high-impact publications on topics ranging from threshold cryptosystems to privacy-preserving analytics. He serves as Chief Cryptographic Protocol Designer and Partner at Partisia, where he applies his expertise to real-world cryptographic solutions. His work emphasizes practical implementations of secure systems, including protocols for distributed data analytics, private set intersection, and accountable blockchain mechanisms. Orlandi’s research bridges theoretical cryptography with real-world usability, addressing challenges in privacy, efficiency, and security in distributed environments. Key areas of specialization include secure computation frameworks, post-quantum cryptography, and cryptographic mechanisms for distributed systems. His contributions have been recognized through collaborations with industry partners and academic institutions, driving innovation in privacy-preserving technologies.
Bo Allesøe Christensen is an Associate Professor at the Department of Communication and Psychology, Aarhus University, within the Faculty of Social Sciences and Humanities. He is affiliated with the Psychology of Culture, Humanity and Education Centre and the Situated Psychology Research Group. His research focuses on the intersection of communication and socio-cultural psychology, particularly Positioning Theory and ordinary language philosophy. He has held administrative roles including membership in the Institute Council (2020–2024), Study Board for Art and Technology (2019–2020), and currently serves on the Study Board for Communication and the Faculty Academic Council (2024–2028). He completed a PhD in 2013, an MA in Science of Religion and Philosophy in 2006, and courses in Research Management and University Pedagogy. His research explores how interpersonal communication and psychological processes shape social interactions, emphasizing normative orders and narrative structures. Key projects include the PT-network Europe and Mind and Ordinary Language initiatives. He has published extensively on Positioning Theory, cultural psychology, and philosophy of language, contributing to interdisciplinary dialogues in cultural studies and education. His teaching spans communication, psychology, and philosophy across BA and MA levels, including developing modules like Play and Event in the Art and Technology program. Bo Allesøe Christensen actively engages in academic networks, co-organizing conferences and serving as an external examiner. His work addresses UN Sustainable Development Goals related to education and cultural sustainability, emphasizing critical design and digital literacy. He leads the Center for Cultural Psychology and collaborates on projects like Educational and Entrepreneurial Co-operation in Future Cities.
Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark, Department of Mathematics and Computer Science. He leads the Section of Artificial Intelligence, Cybersecurity, and Programming Languages and holds leadership roles in the Microservices Community, SDU Digital Democracy Centre, and SDU eScience Center. His work focuses on programming languages and systems, cloud/edge computing, microservices, choreographic programming, and cybersecurity.
Jesper Nørlem Kamp is a Tenure Track researcher at Aarhus University, affiliated with the Department of Bio- and Chemical Technology within AU Engineering. His primary focus lies in environmental engineering, particularly the quantification and mitigation of ammonia and greenhouse gas emissions from agricultural sources such as animal slurry and broiler litter. Institution: Aarhus University School: AU Engineering Department: Department of Bio- and Chemical Technology Position: Assistant Professor (Tenure Track) Email: jk@bce.au.dk His research centers on environmental emissions from agricultural systems, with a strong emphasis on measurement techniques like micrometeorological methods, flux chambers, and inverse dispersion modeling. He is actively involved in refining emission models such as ALFAM2 and evaluating mitigation strategies including slurry injection, covering of manure, and urease inhibitors. His work bridges experimental field studies with model-based analysis to improve emission inventories and support climate-smart farming practices. The recent publications indicate a consistent focus on atmospheric measurement techniques, agricultural meteorology, and waste management. Key themes include the validation of emission measurement methods, the impact of slurry treatment and application techniques, and the development of tools for regulatory and policy support. The research spans both technical innovation and practical application in real-world farming systems. Currently, he is contributing to the GHG-Græs project (2024–2027), which aims to quantify greenhouse gas emissions from grazing dairy cows and associated land areas, reflecting his ongoing commitment to sustainable agriculture and climate impact reduction. While no scientific awards are listed in the provided text, his collaborative work with experts like Anders Feilberg and participation in high-impact journals such as Atmospheric Environment and Agricultural and Forest Meteorology underscores his active role in the environmental science community. Jesper Nørlem Kamp advises no listed students in the provided data. However, his involvement in major research projects suggests potential mentorship roles. He is engaged in externally funded research, particularly through the GHG-Græs project, which likely involves grant support, though specific grant names are not disclosed. His work contributes to both national and EU-level environmental regulations, especially concerning industrial emissions directives. He is part of a research team focused on environmental emissions at Aarhus University, working within the Environmental Engineering section. This team conducts field experiments, develops models, and supports policy-making related to agricultural air quality and climate change mitigation. The group likely operates advanced measurement setups including micrometeorological towers, flux chambers, and analytical instrumentation for gas analysis.
Michael Kirkedal Thomsen is an Associate Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science (DIKU), University of Copenhagen's Faculty of Science. His research focuses on reversible computation and programming language theory, with significant contributions to invertible functional programming languages. He maintains an active research profile with numerous publications in the field of reversible computing. Thomsen's research interests center around reversible computation , programming languages , and functional programming . His work explores the theoretical foundations and practical implementations of reversible systems, with particular attention to program transformations, semantics, and energy efficiency implications. His research bridges theoretical computer science with practical applications in programming language design. His recent publications demonstrate a clear trend toward developing practical reversible programming languages like Jeopardy and analyzing their properties. The research spans theoretical aspects of reversible semantics to practical considerations like energy overhead when executing reversible programs on conventional hardware. His work connects computer architecture, programming language theory, and formal methods. Marie Curie Fellowship Thomsen has presented his research at conferences including talks on 'Reversible Functional Programming Languages' and 'Programming in Reversible Computing and its application to speculative execution.' His research has garnered significant academic attention with multiple publications receiving numerous citations. He collaborates internationally across various institutions, contributing to the global advancement of reversible computing research. Thomsen maintains an active research profile with regular publications in specialized conferences on reversible computation. His work appears to be centered in the Programming Languages and Theory of Computation research group at DIKU, where he contributes to advancing theoretical computer science with practical implications for energy-efficient computing and language design.
Emil Bentin-Ørum serves as an Instructor at the Department of Computer Science (DIKU), University of Copenhagen. He is affiliated with the Programming Language and Theory of Computation section, which conducts research in programming language technology and theoretical aspects of computation with applications in security, privacy, and financial technology. His research interests include: Programming Language Theory Theory of Computation Formal Verification Compiler Technology Distributed Ledger Technology Computer Security and Privacy The Programming Language and Theory of Computation section encompasses multiple research groups including Decentralized Systems, Security & Privacy, HOT Lab, and Quantum Programming, with members working on foundational technologies like Moscow ML and MLKit compilers. Dr. Bentin-Ørum contributes to teaching across Computer Science programs at the University of Copenhagen, including BSc programmes in Computer Science, Computer Science and Economics, Machine Learning and Data Science, and Communication & IT, as well as the MSc programme in Computer Science, with focus on programming languages and systems tracks.
Tudor-Ovidiu Pal is a Lecturer at the Department of Computer Science , University of Copenhagen, contributing to teaching and research in programming language technology and theoretical computer science. He is affiliated with the Programming Languages and Theory of Computation Section (PLTC), which focuses on foundational and applied research spanning algorithmic programming, formal verification, computer security, and high-performance computing systems. His work intersects with key research groups within PLTC, including investigations into secure networked systems (blockchain, distributed ledger technology), software-based security techniques, functional programming optimizations, and probabilistic programming applications in bioinformatics and AI-driven vaccine design. He also engages with topics like program inversion, reversible computing, and quantum programming paradigms through collaborative efforts with other researchers in the section.
Yue Shi serves as an Instructor in the Department of Computer Science at the University of Copenhagen, actively contributing to the Programming Languages and Theory of Computation (PLTC) section. This section drives research at the intersection of programming language theory and practical applications including security, privacy, and fintech. Research interests encompass: Programming Languages Theory of Computation Formal Verification Distributed Ledger Technology Compiler Technology Computer Security Within the PLTC ecosystem, Yue Shi engages with specialized research groups such as Decentralized Systems (blockchain/distributed ledgers), Security & Privacy, HOT Lab (higher-order typed languages), and FUTHARK (GPU-accelerated functional programming). The section supports BSc and MSc programs in Computer Science, Machine Learning, and related disciplines while maintaining industry collaborations in financial transparency and quantum programming.
Rasmus Magni Johannsen is an Assistant Professor at Aalborg University's Department of Sustainability and Planning, part of The Technical Faculty of IT and Design. His research focuses on sustainable energy planning, energy system modeling, and renewable energy transitions, contributing to UN Sustainable Development Goals (SDGs) such as affordable and clean energy (SDG7) and climate action (SDG13). He leads or participates in projects like CARMA-Green Fuels and Planning and Modelling of Local Integrated Energy Systems , emphasizing municipal energy systems and scenario development. He has published extensively on energy system scenarios, renewable energy metrics, and decarbonization pathways, with notable works including Enhancing Renewable Energy System Metrics (2025) and Three Directions for EU Natural Gas Replacement (2024). His work often bridges academic research and practical tools, such as the MUSEPLAN framework for municipal energy planning and the IndustryPLAN model for industrial decarbonization. He received the Best PhD Presentation award at the 8th International Conference on Smart Energy Systems (2022). Johannsen actively engages in peer review for journals like Energy and Utilities Policy , and collaborates internationally through networks like the PLAN Junior Researchers Network . His research addresses energy justice, flexibility in energy communities, and tax/tariff structures influencing energy transitions.
Sven Karlsson is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). He is part of the Informatics and Mathematical Modelling faculty and affiliated with the Embedded Systems Engineering Center and the Center for Quantum Technologies. His expertise lies in parallel computer design, computer architecture, compilers, operating systems, and quantum computing infrastructure. Education: Civilingeniør from Lund University (LTH), Sweden (1997), and PhD in Teleinformatics from KTH Royal Institute of Technology, Sweden (2004). Postdoctoral research at FORTH-ICS, Greece, before joining DTU in 2007. Research interests include parallel computing systems, compiler optimization, quantum computing integration, and high-performance computing (HPC). His work spans application-specific hardware design, distributed quantum infrastructures, and autonomous HPC monitoring systems. Recent publications focus on quantum computing e-infrastructure (NordIQuEst), HPC-QC integration challenges, and optimizing parallel algorithms for multigrid solvers. He leads projects such as QUEX (Quantum Excellence Centre) and NordIQuEst, addressing quantum computing applications and cross-national collaboration. Teaching responsibilities include the course “Parallelle og tidstro systemer” and supervision of MSc/PhD projects. Current advisees include PhD candidates D. Guerrero Domínguez (Quantum Transport Applications), E.J. Fangel-Lloyd (Atmospheric Physics), and M. Gammelmark (Edge Computing for Renewable Energy).
Maja Hanne Kirkeby is an Associate Professor at Roskilde University , Denmark, affiliated with the Department of People and Technology Programming, Logic and Intelligent Systems . Her research focuses on energy efficiency in software and hardware systems, program transformation, and sustainable IT development. She has contributed to projects like Green IT-procurement and Energicertificeret softwareudvikling og drift . Her work bridges theoretical computer science and practical applications, emphasizing energy-aware software development. Key research areas include static communication analysis for hardware design, reversible computing, and optimizing Haskell compilers for energy efficiency. She actively participates in initiatives such as the CERCIRAS COST Action to promote resource-aware societies. Dr. Kirkeby has been involved in organizing events like the CERCIRAS Training School 2022 and serves on conference committees for programming language design and implementation. Her media engagements highlight concerns about AI's escalating energy consumption in data centers, advocating for stricter industry standards. Her research outputs emphasize empirical analysis and interdisciplinary collaboration, with publications in venues like Computer Science and Information Systems and ACM Symposium on Applied Computing .
Luís Cruz-Filipe is an Associate Professor at the Department of Mathematics and Computer Science (IMADA) within the Faculty of Engineering at the University of Southern Denmark. His research spans theoretical computer science with a focus on formal methods, programming languages, and distributed systems. He maintains an active research profile with numerous publications in top venues. His research interests primarily center around choreographic programming, formal verification, sorting networks, and logic programming. Cruz-Filipe has made significant contributions to the theoretical foundations of choreographic programming, developing formal frameworks for specifying and verifying distributed communication protocols. His work on sorting networks has advanced the understanding of optimal network structures, while his research in approximation fixpoint theory has provided formal foundations for logic programming semantics. Analysis of his recent publications reveals a strong trend toward formal methods applied to distributed systems, particularly in choreographic programming where he has developed theoretical frameworks, verification techniques, and compilation approaches. His work bridges theoretical computer science with practical implementation concerns, often using proof assistants like Coq to ensure correctness. More recently, he has expanded into sustainability topics with work on green software development. As an academic, Cruz-Filipe has contributed significantly to the theoretical foundations of choreographic programming, producing a cohesive body of work that has helped establish this field. His publications demonstrate a consistent focus on formal methods to address challenges in distributed systems, with increasing attention to practical implementation and verification.
Hans Hüttel is an Associate Professor in the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. His research focuses on theoretical foundations of computer science with emphasis on programming languages and formal methods. His research interests span process calculi, type systems, concurrency theory, program synthesis, and security protocols. The fingerprint analysis of his work shows strong emphasis on Type Systems (100%), Process Algebra (27%), Cryptographic Protocols (22%), and Branching Time (18%). His recent work demonstrates a growing interest in the intersection of formal methods with emerging technologies like large language models. Hüttel's publication trend shows consistent output with 97 research outputs including 56 articles in proceedings, 17 journal articles, and 9 conference articles in journals. His most recent work (2024-2025) focuses on type systems for programming languages, program synthesis with LLMs, and functional array programming. Scientific Awards: CONCUR Test-of-Time Award (Sept 2020) Hüttel has participated in multiple research projects including TREsPASS (Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security), BETTY (Behavioural Types for Reliable Large-Scale Software Systems), and educational initiatives like PBL Exchange. He has 35 media appearances where he discusses topics ranging from AI ethics to university education reform. He leads research within the Distributed, Embedded and Intelligent Systems group and has been active in educational development through problem-based learning (PBL) initiatives at Aalborg University.
Martin Odgaard is an Associate Professor at Aarhus School of Architecture, specializing in the intersection of urban development and natural systems with a focus on biodiversity. His work integrates landscape architecture, planning legislation, and sustainable urban design. Current affiliations include the 'Transformation' research lab and participation in projects like 'What are we building on the edge for the future?' (2023) and 'Landscaped Urban Models' (2010-2013). Education: PhD (specific discipline not listed) Research interests emphasize urban-nature synergies, policy frameworks for sustainable development, and the application of digital tools in planning. Recent publications address planning system reforms, experimental zoning models, and the role of biodiversity in urban design. Active in 51 professional activities including peer review (e.g., EAAE-ARCC Conference 2024), conference organization, and external teaching roles at Copenhagen University's Department of Geosciences and Nature Management. Media engagements include critiques of urban policies in Danish outlets, notably debates on retail zoning and historic preservation.
Jean Pichon-Pharabod is a Tenure Track Assistant Professor in the Department of Computer Science at Aarhus University, Denmark, with an office at Åbogade 34 in Aarhus N. His research spans formal verification, programming languages, and computer architecture, focusing on foundational work for secure and reliable systems. His primary research interests include the formal verification of WebAssembly, relaxed memory models for architectures like Arm, and security invariants for virtualized environments. He develops mechanized proofs using frameworks like Iris and Coq to establish robust safety properties for compilers, hypervisors, and low-level systems. His work bridges hardware semantics with programming language theory to address concurrency challenges in modern architectures. Analysis of his 2021-2025 publications reveals a consistent focus on verified compilation (CertiCoq-Wasm), axiomatic semantics for relaxed architectures (AxSL logic), and memory-safe WebAssembly verification (Iris-MSWasm). His research demonstrates strong international collaboration, particularly with Lars Birkedal at Aarhus University, and targets high-impact venues like PACMPL and CPP. Key trends include mechanized separation logics for virtual machines (VMSL) and formal elucidation of hardware-software interfaces for security-critical systems.
