Derek Dreyer

Personal information


Tenure-track faculty at Max Planck Institute for Software Systems (MPI-SWS)


type systems, module systems, functional programming, semantics, verification

History


12 years 5 weeks