Compilers Professors and Supervisors in Denmark

Flemming Christensenمشاهده پروفایل

دانشیار

Aalborg UniversityDenmark

Flemming Christensen is an Associate Professor in the Department of Electronic Systems at Aalborg University, part of The Technical Faculty of IT and Design. His research focuses on acoustics, audio engineering, and binaural systems, with strong contributions to sound zone control, spatial audio, and headphone technology. He has led or participated in projects addressing noise measurement in ships, 3D audio systems for vehicle safety, and age-related ear growth acoustics. Research interests include binaural synthesis, dynamic sound environments, and the application of virtual reality in acoustic evaluation. He has authored over 60 publications, including works on real-time room auralization and perceptual evaluation of audio systems. His work bridges theoretical acoustics with practical applications in automotive safety, headphone design, and environmental noise management. Notable projects include the development of a low-frequency noise measurement device and investigations into head movements' impact on binaural synthesis. He actively contributes to academic events, such as organizing conferences and participating in workshops on acoustics and virtual reality. Christensen’s research also explores the intersection of audio technology and human perception, with studies on loudspeaker design, sound localization, and user experience with audio devices. His work emphasizes interdisciplinary collaboration, integrating engineering principles with psychoacoustic insights.

پروفایل رسمی دانشگاه

Bas Spittersمشاهده پروفایل

دانشیار

Aarhus UniversityDenmark

Bas Spitters is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, specializing in the rigorous intersection of programming languages, formal methods, and cryptography. His work prioritizes mathematical precision in software verification, particularly for security-critical systems like cryptographic protocols and blockchain applications. His research focuses on Programming Languages , Formal Verification , and Cryptology , with deep expertise in Type Theory , Homotopy Type Theory , and Blockchain . Key themes include verified compiler backends (e.g., WebAssembly), formal security analysis of Rust implementations, and foundational verification of cryptographic primitives. His fingerprint reveals dominant associations with Smart Contracts (100%), Type Theory (99%), and Blockchain (47%), reflecting his commitment to eliminating vulnerabilities through formal proofs. Analysis of his 15 most recent publications (2022-2025) shows a consistent trajectory toward end-to-end verification of high-assurance systems. He bridges theoretical foundations (e.g., homotopy type theory) with practical implementations in Rust, targeting real-world problems in blockchain consensus, zero-knowledge proofs, and side-channel-resistant cryptography. His work increasingly integrates multiple verification tools (e.g., Coq, hax) to address complex security properties. Scientific awards: None documented in available sources. Dr. Spitters has supervised 2 PhD students and led the project Verifiable Cryptographic Software (2019-2023), developing foundational tools for verifying cryptographic implementations. His research group collaborates globally on formalizing decentralized exchanges, optimizing verified cryptographic libraries, and advancing proof automation for security protocols. Current efforts focus on Rust-based verified pipelines and formal specifications for zero-knowledge protocols like halo2, with implications for blockchain scalability and security.

پروفایل رسمی دانشگاه

Marco Carboneمشاهده پروفایل

استاد

IT University of CopenhagenDenmark

Marco Carbone is a Professor of Theoretical Computer Science at IT University of Copenhagen. His research focuses on session types , concurrency theory , structured communication , and formal verification of distributed systems. He leads the Center for Information Security and Trust and serves as Head of Education for the Master of Science in Computer Science program. Research Areas: Session Types, Concurrency, Security Protocols, Trust Management, Programming Logic Projects: GAINER (2023-2024), MECHANIST (2021-2025), PROBABILIST (2025-2028), BeHApi (2018-2023) Scientific Awards: International Prize (2018) His recent work explores probabilistic choreographies, asynchronous session subtyping, and mechanized proofs for session type systems. He has published extensively in venues like Logical Methods in Computer Science and Lecture Notes in Computer Science .

پروفایل رسمی دانشگاه

Sussi Olsenمشاهده پروفایل

پژوهشگر

University of CopenhagenDenmark

Sussi Olsen is an Academic Research Staff member (Researcher) in the Department of Nordic Studies and Linguistics at the University of Copenhagen, employed at the Center for Sprogteknologi (CST) since 1997. Her work centers on developing and validating linguistic resources for language technology applications. Education: Masters degree in Spanish and Computational Linguistics, University of Copenhagen Her research spans technological language resources, morphological/syntactic/semantic annotation, computational lexicography, corpus linguistics, and resource validation. She specializes in Danish language processing and EU-level language technology infrastructure, with expertise in historical Danish (19th century) and multilingual resource integration. Her work bridges theoretical linguistics and practical NLP applications. Recent publications (2023-2025) reveal a strategic focus on semantic resource development for Danish, including formal lexicons (COR.SEM), language model evaluation frameworks, and sign language-spoken language integration. These works demonstrate convergence between lexical semantics, benchmarking methodologies, and European language equality initiatives, particularly through EU-funded projects like the European Language Equality agenda. She actively contributes to EU language technology projects including the Central Word Register for Danish (COR), European Language Grid, Federated TermBank, and ELEXIS. Her project portfolio shows sustained engagement with terminology management, semantic annotation standards, and resource validation since 2008. She has presented extensively on historical Danish language processing and semantic annotation methodologies. Olsen is affiliated with the Center for Sprogteknologi and participates in the DigHumLab project. She holds governance roles as Member of the Board of Representatives and Board of Directors of the Danish Language Council, and formerly chaired the Society of Lexicographers in Denmark.

پروفایل رسمی دانشگاه

Mikkel Kragh Mathiesenمشاهده پروفایل

پژوهشگر

University of CopenhagenDenmark

Mikkel Kragh Mathiesen is a Guest Researcher in the Programming Languages and Theory of Computation group at the Department of Computer Science, Faculty of Science, University of Copenhagen. His research focuses on algebraic foundations of programming languages, reversible computation, and database theory, with significant contributions to finitary relational calculus and algebraic query processing. He completed his Ph.D. in Computer Science at the University of Copenhagen in 2023 with the dissertation "The Programming of Algebra". His academic work bridges theoretical computer science and abstract algebra, emphasizing formal methods and computational semantics. Mathiesen's research interests center on applying algebraic structures to programming language design, particularly in reversible systems (Algeo framework) and database query optimization. His work explores category-theoretic approaches to differentiation in functional programming and module-theoretic foundations for relational calculus, demonstrating strong interdisciplinary connections between mathematics and computation. Analysis of his 2020-2025 publications reveals consistent focus on algebraic methods across theoretical domains. Key trends include developing finitary relational calculus for database programming languages, creating algebraic frameworks for reversible computation, and establishing theoretical connections between module theory and query processing. His research shows increasing integration of category theory with programming language semantics, particularly in automatic differentiation and higher-order function systems. No scientific awards were mentioned in the provided information. There is no available information regarding students advised or research grants administered by Mathiesen. His collaborative work primarily involves co-authorship with established researchers in theoretical computer science without indication of independent supervision or grant leadership. He is actively affiliated with the Programming Languages and Theory of Computation research group at the University of Copenhagen's Department of Computer Science, contributing to their focus on foundational aspects of computation and language design through algebraic approaches.

پروفایل رسمی دانشگاه

Natalie Eva Iwanycki Ahlstrandمشاهده پروفایل

استادیار

University of CopenhagenDenmark

Natalie Eva Iwanycki Ahlstrand is an Assistant Professor (tenure-track) and Curator at the Natural History Museum of Denmark, part of the University of Copenhagen's Faculty of Science. She works within the Science & Society Section, where she combines research with curation responsibilities focused on botanical collections. Her primary research interests include plant phenology & climate change, plant traits, historical ecology, herbivory, population genomics, phylogeography, plant dispersal and biogeography, and citizen science, with particular expertise in Cyperaceae (sedges) and Poaceae (grasses). Her research methodology integrates data from natural history collections, living collections, archival records, and modern field data with techniques in ecology, population genomics, reflectance spectroscopy, citizen science, and machine learning. Dr. Ahlstrand's recent publications demonstrate a strong focus on Arctic climate change impacts, herbarium-based phenology research, and innovative approaches to citizen science engagement. Her 2025 publications particularly highlight cutting-edge work on Arctic shrub growth drivers, digital herbarium applications, and genomic analyses of plant species. She teaches across multiple levels including Citizen Science (PhD and MSc courses), Plant-Animal Interactions (BSc), Conservation (BSc), Conservation Biology (MSc), Tropical Botany, and Science Communication and Outreach (MSc). Her professional development shows a clear trajectory from field botany and curation roles in Canada (Royal Botanical Gardens, Toronto Region Conservation Authority) to academic research positions in Denmark, culminating in her current tenure-track professorship and curatorship.

پروفایل رسمی دانشگاه

Carl-Johannes Johnsenمشاهده پروفایل

پژوهشگر

University of CopenhagenDenmark

Carl-Johannes Johnsen is a Ph.D. student and Guest Researcher in the Department of Computer Science at the University of Copenhagen, specializing in reconfigurable computing and machine learning acceleration for X-ray food inspection systems. His research integrates FPGA-based hardware acceleration with compiler design for high-performance computing, focusing on programming models for Field-Programmable Gate Arrays and optimization of machine learning pipelines. Additional interests include concurrent and distributed programming education methodologies that prioritize conceptual understanding over formal proofs. Publication analysis (2019-2022) reveals consistent contributions to FPGA acceleration of scientific workloads (molecular dynamics), novel compiler vectorization techniques, and minimalist hardware implementations. His work bridges computer architecture, parallel computing, and practical applications in food safety inspection through cross-disciplinary collaboration. No scientific awards were documented in the source material. As an active doctoral candidate, Johnsen has no advisory responsibilities. Research grant details were not specified in the provided information. He operates within the Programming Languages and Theory of Computation research environment at the Department of Computer Science, engaging in international collaborations focused on hardware-software co-design as indicated by network analysis metrics.

پروفایل رسمی دانشگاه

Asgerd Gudiksenمشاهده پروفایل

دانشیار

University of CopenhagenDenmark

Asgerd Gudiksen serves as Associate Professor in the Department of Nordic Studies and Linguistics at the University of Copenhagen's Faculty of Humanities. Her research focuses on Danish dialectology, word formation, language change, and lexicography, with continuous contributions since her 1998 Ph.D. on -et derivations in Danish dialects and subsequent appointments at the Institute for Danish Dialect Research. Dr. Gudiksen earned her Ph.D. in 1998 after which she was appointed lecturer ( adjunkt ) at the Institute for Danish Dialect Research (now Department of Dialect Research), later promoted to senior lecturer ( lektor ) in 2001. Her academic trajectory remains centered at the University of Copenhagen within Nordic linguistic studies. Her research explores Danish dialect variation—particularly insular dialects—through rigorous analysis of word formation processes and historical language change. She specializes in cultural lexicography, documenting vocabulary related to food traditions (e.g., julekage ), beverages, and daily routines across dialect regions. Her methodological approach combines traditional dialectology with digital corpus linguistics, as evidenced by her work on the Ømålsordbogen dictionary project and CorDiale corpus. Recent publications (2023-2025) reveal concentrated efforts in preserving endangered dialect vocabulary through bibliographic projects, dictionary reviews, and cultural semantic studies. Her editorial leadership of Danske Talesprog and LEDA-nyt journals demonstrates commitment to advancing dialectological scholarship while analyzing how everyday lexicons reflect regional identity and sociolinguistic evolution. Scientific awards: No specific honors or fellowships were documented in the provided materials. Regarding academic mentorship and funding, the available records indicate extensive editorial and peer-review activities but do not specify Ph.D. students or grant-supported research projects. Her leadership in journal editorship and conference organization suggests active engagement in scholarly community development. Dr. Gudiksen contributes significantly to major linguistic infrastructure including the Ømålsordbogen (Dictionary of Danish Insular Dialects) and CorDiale corpus project, which digitizes historical dialect recordings and textual resources. These initiatives form critical research infrastructure for ongoing studies in Danish dialectology, supporting both academic research and public access to linguistic heritage through digital humanities approaches.

پروفایل رسمی دانشگاه