
معرفی
Morten Rhiger is an Associate Professor in the Department of People and Technology at Roskilde University, Denmark, specializing in programming language theory and implementation with expertise in semantics, type systems, and compiler design.
His research portfolio centers on:
- Programming Languages: Core design principles and theoretical foundations
- Semantics: Formal denotational and operational frameworks
- Type Systems: Safety mechanisms and correctness verification
- Compilers: Optimization techniques and runtime systems
- Program Generation: Staged computation and automatic code synthesis
- Multi-stage Languages: Runtime code generation and partial evaluation
Publication trends reveal sustained contributions from foundational work (2009-2012) on pattern combinators and staged computation to recent innovations in type-based uncurrying (2024), with significant interdisciplinary work on energy-transparent systems (2016). His research consistently bridges theoretical rigor with practical implementation challenges.
Rhiger actively contributes to major research initiatives including ENTRA (2012-2015) for energy transparency, NUSA (2011-2013) for model checking, and recent energy-certification projects (2020-2022), demonstrating sustained focus on program analysis and energy-aware computing.
He maintains strong community engagement through organizing the Copenhagen Programming Languages Workshop and participating in key conferences including the Symposium on Implementation and Application of Functional Languages.
Morten Rhiger در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Mads RosendahlRoskilde University · دانشیار- NNeelakantan R. KrishnaswamiCarnegie Mellon University · استاد
- DDomagoj StolfaUniversity of Cambridge · پژوهشگر
Rasmus Ejlers MøgelbergIT University of Copenhagen · استاد- GGiorgio LeviUniversity of Pisa · استاد
William J. BowmanIMDEA Software Institute · استادیار