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

Patrick Bahrمشاهده پروفایل

دانشیار

• Type Systems
• Compilers
• Functional Programming
• +۴ مورد دیگر

Patrick Bahr is an Associate Professor at the IT University of Copenhagen and Co-Head of Education for the Master of Software Design program. His research focuses on developing programming languages and tools to ensure high-assurance software through formal methods. Education : PhD in Computer Science (2012), University of Copenhagen; MSc in Computational Logic (2009), Dresden & Vienna University of Technology; BSc in Computer Science (2008), Dresden University of Technology Patrick's research spans Type Systems , Compilers , and Functional Reactive Programming (FRP) , emphasizing Modal Types to ensure causality and productivity. His work includes Formal Verification of compiler correctness and Domain-specific Languages for enterprise and financial contracts. Recent publications highlight trends in Graph-Based Compilers , Asynchronous FRP , and Guarded Recursion . His methodologies often integrate Haskell and Agda for verified implementations. Key contributions include Sound-By-Construction Type Systems and Monadic Compiler Calculation . Scientific Awards : Best Contribution to RTA 2010 DIKU Paper of the Year 2012 He actively contributes to program committees (e.g., TFP 2026, ICFP 2024) and has led research projects like Guarded Recursive Types funded by the Danish Independent Research Fund (2015-2019). Collaborations span institutions such as the University of Nottingham and Utrecht University.

• Forensic Toxicology
• Analytical Chemistry
• Drug-Facilitated Sexual Assault Analysis
• +۲ مورد دیگر

Kathrine Østerballe Skov serves as a Postdoctoral Researcher at the Section of Forensic Chemistry within the Department of Forensic Medicine, University of Copenhagen's Faculty of Health and Medical Sciences. Her expertise centers on analytical chemistry applications in forensic toxicology, specifically targeting drug-facilitated sexual assault (DFSA) investigations through biological sample analysis. Her academic foundation includes a PhD in Forensic Chemistry from the University of Copenhagen (2020–2023), MSc in Molecular Nutrition & Food Technology from Aarhus University (2017–2019), and BSc in Global Nutrition and Health from VIA University College (2011–2015). This multidisciplinary background informs her methodological approach to toxicological analysis. Skov's research concentrates on optimizing analytical workflows for DFSA cases, with significant emphasis on enzymatic hydrolysis techniques to enhance drug detection in urine samples. Her current projects develop systematic toxicological analysis strategies that improve sensitivity and reliability in forensic evidence recovery, directly addressing challenges in identifying date-rape drugs and their metabolites. This work bridges biochemical innovation with practical forensic application. Analysis of her 2023–2024 publications reveals a cohesive research trajectory focused on Eastern Denmark case data (2015–2022), demonstrating methodological evolution from basic drug screening toward automated enzymatic hydrolysis protocols. Her work consistently targets benzodiazepines, GHB, and polydrug interactions within DFSA contexts, establishing new standards for forensic toxicology laboratories. Affiliated with the University of Copenhagen's Department of Forensic Medicine at Frederiksvej V's Vej 9-11, Copenhagen Ø, Skov operates within Denmark's primary forensic research infrastructure. Her section provides critical toxicological support for criminal investigations, with her enzymatic hydrolysis research directly influencing national forensic protocols for sexual assault evidence processing.

Henrik Lundمشاهده پروفایل

استاد

• Energy Planning
• Smart Energy Systems
• Renewable Energy
• +۹ مورد دیگر

Henrik Lund is a Professor at Aalborg University in the Department of Sustainability and Planning under the Technical Faculty of IT and Design . He is an ISI Highly Cited researcher and Editor-in-Chief of Elsevier's journal Energy , which receives over 8000 annual submissions.

• Programming Languages
• Theory of Computation
• Computer Security
• +۳ مورد دیگر

Alexander Christensen is an Instructor at the Department of Computer Science (DIKU) , University of Copenhagen. His position involves teaching and research within programming language technology and theoretical computer science.

• Programming Language Technology
• Theory of Computation
• Compiler Technology
• +۴ مورد دیگر

Uffe Dalgas is an Instructor at the Department of Computer Science, University of Copenhagen. His work aligns with the Programming Languages and Theory of Computation (PLTC) section, which focuses on programming language technology, theoretical computation, and interdisciplinary applications including blockchain, fintech, and formal verification. Research Interests: Programming Language Theory and Applications Formal Verification and Secure Systems Compiler Technology and High-Performance Computing Distributed Ledger Technology and Fintech Contact: ufda@di.ku.dk

• Programming Languages
• Theory of Computation
• Computer Security
• +۳ مورد دیگر

Mareike Sibilla Glöss is a Part-Time Lecturer at the Department of Computer Science, University of Copenhagen. She contributes to teaching and research in programming language technology and theoretical computer science, aligning with the PLTC (Programming Languages and Theory of Computation) section's focus areas. Position: Part-Time Lecturer Department: Department of Computer Science University: University of Copenhagen Her work intersects with advanced research groups in the department, including decentralized systems, security & privacy, and probabilistic programming. The department emphasizes both theoretical and applied research, spanning compiler technology, quantum computing, and high-performance systems.

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

Rikke Tophøj Heinemann is an academic staff member at the Department of Computer Science (DIKU) , University of Copenhagen. She holds the academic rank of Lecturer and is affiliated with the Programming Languages and Theory of Computation section (PLTC). Her research interests align with the section’s focus areas, including programming language technology, theoretical foundations of computation, blockchain, distributed ledger technology, computer security, and privacy preservation.

• Programming Languages
• Theory of Computation
• Computer Security
• +۳ مورد دیگر

Marc Ivan Løvenskjold is an Lecturer at the Department of Computer Science (DIKU), University of Copenhagen. He is affiliated with the Programming Languages and Theory of Computation (PLTC) section, which focuses on programming language technology, formal verification, and theoretical foundations of computing. His work intersects with applications in Computer security and privacy Distributed ledger technology and fintech Compiler systems and optimization Email: mlov@di.ku.dk

• Programming Languages
• Compiler Technology
• Reversible Computation
• +۵ مورد دیگر

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.

• Programming Language Theory
• Compiler Technology
• Formal Verification
• +۳ مورد دیگر

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.

• Programming Languages
• Theory of Computation
• Formal Verification
• +۳ مورد دیگر

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.

• Programming Languages
• Theory of Computation
• Computer Security
• +۳ مورد دیگر

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مشاهده پروفایل

دانشیار

• Real-Time Systems
• Digital Microfluidics
• Compiler Optimizations
• +۷ مورد دیگر

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مشاهده پروفایل

دانشیار

• Computer Science
• Hardware and Software Energy Efficiency
• Static Analysis
• +۵ مورد دیگر

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.

Simon Pommerencke Melgaardمشاهده پروفایل

استادیار

• Fault Detection and Diagnosis
• HVAC Systems
• Energy Optimization
• +۳ مورد دیگر

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.