Find Academic Supervisors

Ole Lehrmann MadsenView profile

Professor

• Object-Oriented Programming
• Object-Oriented Languages
• Software Architecture
• +4 more

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.

Bas SpittersView profile

Associate Professor

• Programming Languages
• Formal Methods
• Cryptology
• +5 more

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.

Philipp Georg HaselwarterView profile

Assistant Professor

• Programming Languages
• Formal Verification
• Probabilistic Programming
• +3 more

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 CarboneView profile

Professor

• Theoretical Computer Science
• Session Types
• Concurrency Theory
• +7 more

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 .

• Indo-European Linguistics
• Historical Linguistics
• Morphology
• +9 more

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.

• Reversible Computing
• Functional Programming
• Formal Methods
• +1 more

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.

• Programming Languages
• Theory of Computation
• Algebraic Methods
• +3 more

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.