معرفی
Magnus Madsen is an Associate Professor at the Department of Computer Science, Aarhus University. He specializes in programming language design, compilers, and type and effect systems, and is the lead developer of the Flix programming language. His research focuses on advancing static analysis techniques and declarative language constructs for effectful and data-driven programming.
Research Interests:
- Programming language design
- Type systems and effect systems
- Static program analysis
- Datalog and declarative programming
- Compiler optimization and implementation
Awards & Grants:
- 2023: Sapere Aude Grant (Independent Research Fund Denmark)
- 2022: Dahl-Nygaard (Junior) Prize (ECOOP)
- 2022: STEM Grant (Stibo Foundation)
- 2021: Amazon Research Award (collaboration with Jaco van de Pol)
- 2020: DFF Project One (Independent Research Fund Denmark)
Advising & Collaboration:
- Supervises four current PhD students (listed above).
- Active in academic service: PC member for ECOOP, OOPSLA, PLDI, and other conferences.
- Collaborates with industry (e.g., Google, Systematic) and academia on tool development and language research.
Labs & Projects:
- Core contributor to the Flix programming language and the CASA (Center for Advanced Software Analysis) initiative.
- Involved in interdisciplinary projects combining declarative programming with domain-specific applications.
