معرفی
Magnus Madsen is an Associate Professor at Aarhus University, Department of Computer Science. He leads the development of the Flix programming language, a declarative tool integrating logic, functional, and imperative features with Java interoperability. His work spans type and effect systems, program analysis, and JavaScript bug-finding tools, particularly for asynchronous applications.
- Academic Affiliation: Aarhus University (Denmark)
- Leadership: Flix Programming Language
Magnus's research focuses on programming language design, type systems, and static/dynamic analysis. This includes Datalog constraints, polymorphic effects, and nullability frameworks. His contributions to JavaScript analysis address asynchrony and concurrency challenges.
Key trends in his work include declarative program analysis, effect system design, and Datalog-based frameworks like IFDS/IDE. Recent papers explore rank-polymorphic function inference, purity reflection, and stratification in logic programming.
Scientific awards include:
- Sapere Aude grant (2023)
- Dahl-Nygaard Junior Prize (2022)
- STEM Grant (2022)
- Amazon Research Award (2021)
- DFF Project One (2020)
- ECOOP 2023 Distinguished Paper
- ICSE 2016 Distinguished Paper
Current PhD students advised: Jonathan Lindegaard Starup, Matthew Lutze, Andreas Stenbæk Larsen (co-advised with Aslan Askarov), Caroline Palma Berger (co-advised with Clemens Nylandsted Klokmose).
