Home » user account

Derek Dreyer

Personal information


http://www.mpi-sws.org/~dreyer

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


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

History


1 year 6 weeks