Magnus Madsen (AARHUS UNIVERSITY).jpg

Magnus Madsen

Aarhus University
2021 Amazon Research Award
Type Inference with Boolean Unification