Torben Ægidius Mogensen is an Associate Professor at the Department of Computer Science, University of Copenhagen, where he leads research in the Programming Languages and Theory of Computation section. His office is located at Universitetsparken 5, Copenhagen. His primary research focuses on: Automatic program analysis and transformation (especially partial evaluation and semi-inversion) Compiler technology for functional languages Domain-specific language design Reversible computing systems and languages Algorithms, complexity theory, and automata theory Applications in graphics and fractal generation His recent publications demonstrate a strong focus on reversible computation systems, including specialized programming languages like Hermes for encryption, reversible processor architectures, and functional programming extensions. His textbook publications on compiler design (2024) and programming language implementation (2022) indicate significant contributions to computer science education and foundational knowledge. He teaches courses on compilers, programming language technology, and game development, and maintains active research collaborations internationally. He is fluent in Danish and English, with working knowledge of German and Romanian.
Thomas Schrum Nicolet is an Instructor at the Department of Computer Science , University of Copenhagen. His role involves teaching and contributing to the department's academic activities. The Department of Computer Science focuses on research areas including programming language technology, theory of computation, computer security, distributed ledger technology, and fintech. Specific subfields within these areas include formal verification, compiler design, and domain-specific languages.
Atta Samiullah serves as an Instructor in the Department of Computer Science at the University of Copenhagen, affiliated with the Programming Languages and Theory of Computation (PLTC) section. His role encompasses teaching responsibilities across undergraduate and graduate computer science programs including BSc in Computer Science, Computer Science and Economics, Machine Learning and Data Science, and Communication & IT. His research profile aligns with PLTC's core focus areas: Programming language technology and formal verification methodologies Theory of computation with applications in distributed ledger systems Security and privacy preservation techniques in software systems Financial technology applications and blockchain infrastructure Compiler technology and high-performance computing architectures Quantum programming language design The PLTC section operates through specialized research groups including Decentralized Systems, Security & Privacy, HOT Lab, FUTHARK (Functional Technology for Modern Architectures), and Quantum Programming. These groups maintain active industry collaborations in fintech and blockchain sectors while developing open-source tools like Moscow ML and MLKit compilers. Research output spans probabilistic programming frameworks, Stein variational inference techniques, and applications in bioinformatics and vaccine design. No scientific awards or student supervision activities are documented in current institutional records. His work contributes to the department's mission in advancing programming language theory with practical implementations in secure financial systems and distributed computing environments.
Nanakjot Singh is an Instructor at the Department of Computer Science, University of Copenhagen. He is affiliated with the Programming Languages and Theory of Computation (PLTC) section, which focuses on research areas such as programming language technology, theory of computation, computer security, privacy, compiler technology, and fintech.
Luca Pezzarossa is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). His research focuses on real-time systems, embedded computer systems, digital microfluidics, compiler optimizations, and hardware accelerators. He leads projects such as the Edu4Chip: Joint Education for Advanced Chip Design in Europe initiative and supervises PhD students in areas like compiler optimizations for neural networks and speech enhancement algorithms. His academic journey includes contributions to interdisciplinary fields, combining computer engineering with biomedical applications such as biochip design and PCR optimization. He actively engages in open-source tool development, particularly using the Chisel framework for hardware design education and research. Key research themes include: Real-time systems and time-predictable architectures Compiler-driven optimizations for constrained devices Digital microfluidics for lab-on-a-chip systems Edge computing and TinyML applications Recent publications highlight innovations in microplastic detection on edge devices, dynamic channel pruning for speech enhancement, and parallel execution engines for digital microfluidics. His work aligns with sustainable development goals through environmental applications and energy-efficient technologies. Current projects involve: PhD Supervision: Andrea Cerioli (Compiler Optimizations), Riccardo Miccini (AI-to-Neural Network Mapping), Ehsan Khodadad (Time-predictable Systems) Research Grants: EU-funded Edu4Chip (2023–2025), multiple industry-academia collaborations Labs and teams: Leads the Embedded Systems Engineering group at DTU, focusing on interdisciplinary hardware-software co-design for real-world applications. Active in developing open-source frameworks for education and research.
Mads Rosendahl is an Associate Professor at Roskilde University's Department of People and Technology, specializing in Programming, Logic, and Intelligent Systems. He holds an MSc and PhD in Computer Science. His research focuses on energy-efficient software/hardware algorithms, static analysis for hardware design, and programming language approaches to concurrency and performance optimization. Key projects include 'Energy and Performance Trade-offs in Hardware and Software Implementations' (2022-2023) and 'ENTRA: Whole-systems energy transparency' (2016). He has collaborated on initiatives like ICT-Energy (2013-2016) and Situated Design Methods (2013-2014), emphasizing interdisciplinary research. His research interests span energy-efficient computing, static program analysis, algorithm implementation on low-level hardware, and compiler optimization. Notable contributions include work on probabilistic resource analysis and abstract interpretation techniques. Publications highlight advancements in static communication analysis for hardware design (2025), energy-efficient algorithms (2025), and language support for embedded systems (2023). He has also presented widely, including lectures on semantics-based cost analysis (2012) and participation in workshops like DanSAS and Reversible Computation events. Rosendahl contributes to academic service through peer reviews and conference activities, reflecting his commitment to advancing theoretical and applied computer science.
Dr. Ahmad Salim Al-Sibahi is an Assistant Professor in the Programming Language and Theory of Computation Section at the University of Copenhagen's Department of Computer Science. He is a core member of the Aleatory Science Team, focusing on probabilistic programming applications in protein folding and inference algorithm optimization. His work combines formal methods with practical machine learning frameworks like Pyro. Educational Background: PhD in Computer Science (2014-2017), IT University of Copenhagen MSc in Computer Science (2014), IT University of Copenhagen Postdoctoral Researcher at University of Copenhagen (2017-2019) Research Interests: His primary focus lies at the intersection of probabilistic programming and computational biology. He develops efficient inference algorithms for probabilistic models, particularly in protein structure prediction and voucher scanning applications. His earlier work includes formal verification of program transformations using inductive refinement types and static analysis techniques. Awards: Best Paper Award at GPCE 2018 Contributions: He contributed to dependently-typed language Idris and co-developed family-based model checking techniques. His research bridges theoretical programming language constructs with applied problems in bioinformatics and software modernization.
Simon Pommerencke Melgaard is an Assistant Professor at the Department of the Built Environment, Faculty of Engineering and Science, Aalborg University. His research focuses on building management systems, fault detection and diagnosis in HVAC systems, energy optimization, and building simulation. He has contributed to EU Horizon projects like SATO (building performance analysis) and HEATWISE (waste heat reuse in buildings), as well as initiatives like HYBRIDENE (hybrid ventilation in Nordic climates) and COVOCHA (high-resolution occupancy datasets). Key research areas include fault detection algorithms, HVAC performance monitoring, and energy-efficient building systems. His work integrates computational methods like Monte Carlo simulations and data-driven approaches to improve building operational efficiency. Projects such as Self Assessment Towards Optimization in Building Energy emphasize key performance indicators and automated diagnosis. Recent contributions include datasets on office room environments and studies on thermal comfort aggregation. He has presented at conferences on topics like real-time energy management and novel ventilation control strategies. His activities include organizing workshops on occupant-centric building controls and visiting research institutions such as the University of Lisbon.
Hiva Alipour is an Associate Professor at Aalborg University, affiliated with the Department of Health Science and Technology within The Faculty of Medicine. She holds a D.V.M. (Doctor of Veterinary Medicine) and a Ph.D. in Clinical and Biomedical Sciences. Her research focuses on reproductive and regenerative medicine, particularly male infertility, sperm biology, and the interplay between the microbiome, probiotics, and health outcomes. She has led interdisciplinary projects linking academia and industry, including clinical trials and basic science studies. Alipour’s research interests include exploring probiotics’ role in addressing fertility challenges and chronic conditions like obesity and pain. She collaborates internationally, contributing to Global Andrology Forum guidelines and publications on AI in scientific writing and regenerative therapies. She also serves as a project supervisor for initiatives like the probiotics-based management of male subfertility and chronic wound healing using stem cells. Her external roles include Head of Scientific Affairs at ProBiotix Health and academic support roles at NordicCell ApS and Microptic S.L. Her work aligns with UN Sustainable Development Goals related to health and well-being. Key projects include studies on seminal plasma metabolomics, sperm DNA fragmentation, and probiotic effects on sperm kinematics. She has presented at conferences such as the Cook Medical Reproductive Health Summit and contributed datasets to platforms like Figshare.
Ludvig Johan Torp Rasmussen is an Assistant Professor in the Department of Health Science and Technology at Aalborg University’s Faculty of Health. His work focuses on creativity in sports contexts, particularly in ball games like football, emphasizing its role in youth development and athlete expertise. He holds a PhD in Sport Science from Aalborg University (defended 2020) and completed academic qualifications including a Master’s and Bachelor’s in Sport Science. His research explores creativity’s impact on sports participation, personal growth, and expert performance. Notable projects include the Buffalo League initiative and collaborative works like the Creativity in Football book series (2023). He advocates for creative teaching methods in sports education, emphasizing playfulness and student involvement. Rasmussen teaches courses such as Learning and Sports Pedagogy and Innovation & Entrepreneurship , earning the 2022 Teacher of the Year award at the Faculty of Health. His work contributes to UN Sustainable Development Goals related to education and health, promoting inclusive and creative learning environments. Research Interests: Creativity in sports, youth development, qualitative research, socio-cultural psychology. Key Projects: Buffalo League (2025–2025), Thinking Skills in Interdisciplinary Co-creation (2025–2025). Awards: Two Teacher of the Year recognitions for innovative and engaging pedagogy. He actively collaborates with academic and industry partners, delivering talks on creativity in sports and entrepreneurship. His work bridges theory and practice, fostering dynamic learning environments and creative problem-solving skills.
Anders Larsen is an Assistant Professor at the Department of Law, Aalborg University, affiliated with The Faculty of Social Sciences and Humanities. He is part of the Tax Research Group and specializes in tax law, public law, and legal education. His research focuses on taxation frameworks, EU directives, and legal methodologies for auditors. Educated with a Cand.jur. degree, he has authored multiple publications including handbooks on tax law, legal compliance for associations, and educational materials for tax students. Recent publications include a 2025 article on BEFIT directive taxation and a 2024 handbook for nonprofit board members. His work bridges practical legal applications with academic research, particularly in tax policy and regulatory compliance. Collaborations include meetings with Deloitte on business-school partnerships, reflecting his engagement with industry-relevant legal challenges. He holds no listed awards but maintains active participation in academic seminars and professional development initiatives.
Rodrigo Pizarro Ordoñez is an Associate Professor at Aalborg University's Department of Electronic Systems, affiliated with The Technical Faculty of IT and Design. His research focuses on acoustic engineering, hearing rehabilitation, and noise-induced hearing loss. He has led and participated in 14 projects, including initiatives like BEAR: Better Hearing Rehabilitation and studies on music exposure risks. Key research interests include temporary threshold shift, sound emission measurement, and recovery time analysis. His work bridges engineering and healthcare, addressing practical applications such as hearing aid optimization and corporate UX strategies in robotics. Ordoñez has co-authored over 80 publications since 2001, with recent contributions in journals like Audiology Research and Behavior & Information Technology. He has supervised 2 PhD students and contributed to interdisciplinary conferences like the Euroregio/BNAM Joint Acoustic Conference. Notable projects include assessing noise risks for musicians and developing methods to reduce hearing damage. His research emphasizes real-world applications, such as improving rehabilitation outcomes for hearing-impaired patients and enhancing corporate UX practices in technology firms.
Nana Katrine Vaaben is a Part-time Lecturer in the Department of Anthropology at the University of Copenhagen, Faculty of Social Sciences. She also holds external academic positions, including former External Lecturer at Copenhagen Business School (2015–2017) and docent at University College Copenhagen since 2013. Her educational background includes a Cand Scient Anth and a PhD in Anthropology. Her research centers on economic anthropology, particularly how economic logics such as growth, productivity, and competition shape work in the public and private sectors, as well as in domestic life. She investigates concepts of work, value, and time, especially where they diverge—leading to unpaid essential labor or paid seemingly unnecessary jobs. Recently, she has focused on moral distress in police, schools, and elder care, and on why Danish nurses are leaving public hospitals. Her recent publications (2023) show a strong thematic focus on workforce retention, moral stress, temporal autonomy, and the crisis in the welfare state. She employs ethnographic and multisensory methods, producing not only traditional articles and books but also interactive digital tools like 'Dialogkort' for public engagement. Economic Anthropology Work and Labor Time and Temporality Value Theory Public Sector Organizations Moral Distress Care Work Capitalism and Innovation She has received no explicitly listed scientific awards in the provided text. Nana Katrine Vaaben has not advised any named students in the provided material. Her research is supported through institutional affiliations and collaborative projects rather than individual grant mentions. She collaborates with researchers across institutions, particularly on issues related to welfare professions and public sector challenges. She is involved in producing interactive research outputs and public-facing dialog tools, suggesting engagement with both academic and non-academic audiences. Her work bridges ethnographic depth with policy relevance, especially in Denmark’s public sector.
Stephanie Forrest is a Professor in the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), where she also serves as Director of the Biodesign Center for Biocomputation, Security and Society. She is an External Faculty member of the Santa Fe Institute (SFI), where she previously held leadership roles including Co-Chair of the Science Board (2010–2013) and Interim Vice President for Academic Affairs (1999–2000). Prior to joining ASU, she was a Regents Distinguished Professor and Department Chair of Computer Science at the University of New Mexico (2006–2011). B.A., St. John's College M.S., Ph.D., University of Michigan, Computer Science Her research lies at the intersection of biology and computation, focusing on computational immunology, automated software repair, evolutionary computation, and modeling complex systems such as cancer and immune responses. She pioneers bio-inspired algorithms for cybersecurity and develops evolutionary techniques for software optimization and repair. Her work integrates principles from immunology, genetics, and complex adaptive systems to solve problems in computer science. The trends in her recent publications reveal a sustained focus on automated program repair using evolutionary computation, GPU code optimization, and modeling biological systems. Her work increasingly combines machine learning with mutation-based search, explores semantic representations in code repair, and applies bio-inspired models to real-world software and security challenges. ACM/AAAI Allen Newell Award (2011) Presidential Young Investigator Award (1991) Stanislaw Ulam Memorial Lectures, SFI (2013) IEEE Fellow UNM Annual Research Lecture (2012) IEEE S&P Test of Time Award (2020) ICSE Most Influential Paper Award (2019) ACM/SIGEVO Impact Award (2019) SEAMS Best Paper Award (2019) WEIS Best Paper Award (2015) Stephanie Forrest has advised numerous students and researchers, often in collaboration with W. Weimer, C. Le Goues, and M. Moses. Her research is supported by major funding agencies including the National Science Foundation (NSF), Defense Advanced Research Projects Agency (DARPA), Air Force Research Laboratory (AFRL), and the Santa Fe Institute. She has also contributed to public policy as a Jefferson Science Fellow at the U.S. Department of State (2013–2014), advising on cyber-policy. She currently chairs the Government Affairs Committee of the Computing Research Association (CRA). She leads the Biodesign Center for Biocomputation, Security and Society, which brings together interdisciplinary teams to study the co-evolution of technology and society. Her research group has developed tools for intrusion detection (e.g., STIDE, pH, RISE), automated software repair (e.g., GenProg), and biological modeling (e.g., CancerSim). Current projects include engineering diversity for enhanced cybersecurity, measuring internet censorship, and modeling immune and cancer systems.
Prof. José Mata is a faculty member at the Department of Strategy and Innovation at Copenhagen Business School. His research focuses on entrepreneurship, international business strategies, migration, and firm dynamics. He has contributed to over 30 peer-reviewed publications and co-edited the Research Handbook on Foreign Exit, Relocation and Re-entry . His work addresses global challenges such as gender equality in entrepreneurship and the impact of migration policies on economic participation. Mata has secured significant grants, including the Semper Ardens Advance Grant from the Carlsberg Foundation (2023), and has been recognized as Denmark's highest-paid researcher (2021). His research spans cross-country studies on firm survival, CEO leadership effects, and healthcare-related surgery outcomes. Key themes include institutional frameworks influencing entrepreneurship, post-entry strategies of firms, and the interplay between policy and economic behavior. Recent work explores how affordable childcare policies and gender attitudes shape entrepreneurial activity globally. Mata's academic contributions bridge theoretical insights with empirical evidence, particularly in foreign market dynamics and organizational resilience. His collaborative networks span multiple countries, reflecting his focus on global business challenges. Awards and media attention highlight his impact on both academic and public spheres.
