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


8 years 37 weeks