Magnus Madsen is an assistant professor at Aarhus University.

Magnus Madsen is the leader behind Flix, a declarative language for implementing modular and expressive program analyses. Flix seamlessly integrates logic, functional and imperative features, and supports interoperability with Java. The language has a solid implementation and runs on the JVM. Notable applications of Flix include high-level declarative implementations of interprocedural analysis frameworks like IFDS and IDE, a new polymorphic effect system for tracking side-effects, and a novel expressive type system for nullability.

Magnus has also done noteworthy work on static and dynamic analysis for JavaScript, in particular for reasoning about asynchrony in applications with events and promises, and for developing practical bug-finding tools.