Glynn Winskel

Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.