Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen.

First Page		Document Content
Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing		Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Download Document from Source Website File Size: 2,69 MB Share Document on Facebook

	VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin DocID: 1v6gw - View Document
	Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration DocID: 1v3Uj - View Document
	VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin DocID: 1uI8n - View Document
	On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman DocID: 1tsE2 - View Document
	Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper Todd Wilson DocID: 1t0Hb - View Document