Programming language semantics Professors and Supervisors in Denmark

Christoph Mathejaمشاهده پروفایل

دانشیار

Technical University of DenmarkDenmark

Christoph Matheja is an Associate Professor at the Technical University of Denmark , affiliated with the Department of Applied Mathematics and Computer Science . His work focuses on formal verification, probabilistic programming, and software systems engineering. Research Highlights : Operational semantics for probabilistic programs, fixed-point characterizations of rewards in MDPs, and data-driven Petri net modeling for process mining. Publications span formal verification techniques, probabilistic programming paradigms, and tools for process mining, emphasizing interdisciplinary applications in computer science and software engineering. Scientific Awards : POPL 2021 Distinguished Paper Advising & Grants : Supervises PhD students in automated reasoning about randomized algorithms, with project funding active from 2023 to 2026. Professional Activities : Serves on committees for ACM SIGPLAN Symposium on Principles of Programming Languages (2022–present), International Conference on Computer Aided Verification (2023–present), and Formal Methods Symposium (2022–present). Organizer of the 2022 Workshop on Verification of Probabilistic Programs.

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

Ole Lehrmann Madsenمشاهده پروفایل

استاد

Aarhus UniversityDenmark

Ole Lehrmann Madsen is a Professor in the Department of Computer Science at Aarhus University, Denmark, specializing in object-oriented systems and software engineering with over 70 research outputs spanning five decades. His research centers on Object-Oriented Programming (100% fingerprint intensity), Object-Oriented Languages (93%), and Software Architecture, with significant contributions to distributed systems, concurrency models, and virtual machine design. Recent work explores foundational programming paradigms, debugging innovations through object-sequence diagrams, and reducing documentation needs via supplementary properties. Publications from 2022-2024 reveal consistent focus on object-oriented theory evolution, blending historical analysis with practical tool development. Key themes include modeling fundamentals, language semantics, and philosophical critiques of programming concepts, often co-authored with B. Møller-Pedersen. No scientific awards are documented in the source material. Madsen actively engages in research policy through committee memberships including Innovationsfonden (2014), CONNECT Advisory Forum (2013-2015), and DTU NanoTech Advisory Board (since 2009), demonstrating sustained influence in Danish technical education and funding frameworks.

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

Philipp Georg Haselwarterمشاهده پروفایل

استادیار

Aarhus UniversityDenmark

Philipp Georg Haselwarter is an Assistant Professor at the Department of Computer Science , Aarhus University . His expertise lies in programming languages , formal verification , and cryptographic proofs . His research interests include Higher-order probabilistic programming Separation logic for program analysis Modular cryptographic proofs in Coq Resource-aware and cost-bounded formal methods Key trends in his recent publications span Formal verification techniques for probabilistic and cryptographic systems Integration of separation logic with cost and error analysis Development of frameworks like SSProve for cryptographic proofs Applications of type theory and higher-order logic in programming languages

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

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 .

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

Birgit Anette Rasmussenمشاهده پروفایل

استاد

University of CopenhagenDenmark

Birgit Anette Rasmussen serves as Professor of Indo-European Studies at the Department of Nordic Studies and Linguistics, Faculty of Humanities, University of Copenhagen. Her research examines language-culture interfaces with emphasis on Indo-European social structures through lexical analysis. 1999: DPhil, University of Copenhagen 1977: MA in Indo-European Linguistics, University of Copenhagen 1974: BA in Indo-European Comparative Linguistics, University of Copenhagen Her core research spans Indo-European morphology (especially nominal word formation), morphophonemics (laryngeal theory and consonantal alternations), lexicon/palaeolinguistics (kinship terms and social institutions), and Classical Armenian linguistics. She reconstructs cultural elements through linguistic evidence, focusing on prehistoric European kinship systems and mythological motifs reflected in vocabulary. Recent publications (2024-2025) reveal converging trends in Indo-European social anthropology and phonological development, particularly Armenian sound changes. Key themes include kinship terminology, cattle-breeding societies in mythology, and the interplay between sound laws and analogical processes in language evolution. Alexander-von-Humboldt-scholarship (1991-1992) Danish Research Council for the Humanities Research Scholarship (1987-1990) She has supervised doctoral candidates including Jan Heegaard (Kalasha), Adam Hyllested (Indo-Uralic), and Bjarne S. Hansen (Germanic/Nordic), plus six Marie Curie postdocs. Current funding includes the Velux Foundation project 'Individual, kin and family in prehistoric Europe' and Danish Research Council grants for Indo-European linguistic research. As leader of the 'Roots of Europe' centre of excellence since 2010 and coordinator of Copenhagen's Indo-European Studies program, she directs international collaborations with archaeologists (Kristian Kristiansen, James Mallory) and linguists (Joshua Katz, Michael Janda) on interdisciplinary projects bridging linguistics, archaeology, and mythology.

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

Joachim Tilsted Kristensenمشاهده پروفایل

مدرس

University of CopenhagenDenmark

Joachim Tilsted Kristensen serves as an Assistant Lecturer in the Department of Computer Science at the University of Copenhagen, contributing to both teaching and research initiatives within theoretical computer science. His research spans reversible computing, functional programming, formal verification, and computer science education methodologies. He specializes in developing invertible programming languages and visualization tools for formal proof instruction, bridging theoretical concepts with pedagogical applications. Recent publications demonstrate dual emphases: educational tool development for formal methods training and foundational advances in reversible computation, with contributions to major venues like the International Conference on Reversible Computation and EPTCS proceedings.

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

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.

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