Derek Dreyer

Independent Researcher, Max Planck Institute for Software Systems

Head, Type Systems and Functional Programming Group

`The Innocent Eye Test' by Mark Tansey
The Great Roe is a mythological beast with the head of a lion and the body of a lion, though not the same lion.
-- Woody Allen, from Without Feathers

Research

Teaching

Personal

Coordinates