David MacQueen's Home Page

David MacQueen

I am a Professor of Computer Science at the University of Chicago, a position that I have held since 2001. Formerly I was a Distinguished Member of Technical staff and sometime department head at Bell Laboratories (at various times known as Bell Telephone Laboratories, Inc; AT&T Bell Laboratories; Bell Laboratories, Lucent Technologies). I served as Chair at Chicago from 2003 until 2006.

During the Spring 2008 quarter, I am teaching CMSC 32001: Topics in Programming Languages (Denotational Semantics and Domain Theory). I am also coteaching CMSC 15400: Intro to Computer Systems with Robby Findler.

My research concerns the design, implementation, and formal foundations for typed functional languages, and in particular the functional language ML. I was involved in the design of the Hope functional language, and later in the design and implementation of Standard ML.

I continue to be actively involved in the development of Standard ML of New Jersey, a free and open-source implementation of the Standard ML programming language.

I am currently the local organizer for the IFIP Working Group 2.8 meeting at Asilomar, June 10-15 2018.


Contact Info

David MacQueen
Computer Science Department
University of Chicago
1100 E. 58th Street
Chicago, IL 60637
USA

Phone: +1-773-702-4980
Email: dbm at cs.uchicago.edu

Recent and Notable Publications

(Publication links to be added shortly (4/26/08)).