Orlando / Boston / Gentofte / Paris / Lyngby / Rapport / Copenhagen / Amsterdam / /
Company
Crossroads Copenhagen / Cambridge University Press / MIT Press / Journal / David MacMIT Press / ACM Press / Degrees 2014 2013 1988 1984 1977 / /
Country
Netherlands / United Kingdom / Denmark / / /
Facility
IT University of Copenhagen July / IT University of Copenhagen Mads Tofte / University of Nigeria / IT University of Copenhagen Jan. / IT University of Copenhagen April / Kingston University / Copenhagen University / University of Copenhagen / Edinburgh University / University of Edinburgh / IT University of Copenhagen / IT University / IT University of Copenhagen News Service Version / /
IndustryTerm
conversion tool / constraint-based region inference algorithm / region inference algorithm / /
Organization
Danish Government’s IT Board / Cambridge University / Laboratory for Foundations of Computer Science / AVT Business School / Edinburgh University / IT University of Copenhagen News Service Version / MIT / IT University / Øresund IT Academy / Program Committee / Editorial Board / Danish Board of Technology / University of Nigeria / United Nations / Department of Computer Science / Foundation of Computing / University of Edinburgh / State IT Project IT Council / Board of IT Øresund / University of Copenhagen / Kingston University / Copenhagen University / Datalogisk Institut / IT University of Copenhagen Mads Tofte / /
Person
Henning Niss / Master / Record / Lars Thorup / Peter Bertelsen / Gordon Plotkin / Nick Rothwell / Morten Heine Sørensen / Proof / Christine Antorini / Helge Sander / Robert Harper / Magnus Vejlstrup / Peter Sestoft / Christian Mossin / Tommy Højfeld Olesen / Robin Milner / Mads Tofte / Peter Harry Eidorff / Fritz Henglein / Tim Sheard / Typed Lambda Calculi / Niels Hallenberg / Eric Meijer / Lars Birkedal / Joan Campbell-Tofte / Martin Elsman / Jean-Pierre Talpin / Andrew Appel / Colin Stirling / / /
Position
editor / Queen / Minister of Research / Minister / Minister of Finance / Member of the Board / work Vice Chancellor / Lecturer 1 / Research Associate / King / Chairman / Professor / Managing Director / Executive / Vice Chancellor / Chair / Associate Professor / Chairman of the Board / /