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.
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