Former Ph.D. Students (Carnegie Mellon University)

Jeff Polakow (coadvised by Frank Pfenning), August 2001
Carnegie Mellon University, mutjida AT gmail DOT com
thesis: Ordered Linear Logic and Applications (CMU-CS-01-152)

Andrzej Filinski (coadvised by Bob Harper), May 1996
University of Aarhus, andrzej AT diku DOT dk
thesis: Controlling Effects (CMU-CS-96-119)

Benjamin C. Pierce (coadvised by Bob Harper), December 1991
University of Pennsylvania, bcpierce AT cis DOT upenn DOT edu
thesis: Programming with Intersection Types and Bounded Polymorphism (CMU-CS-91-205)

Former Ph.D. Students (Syracuse University)

Richard H. Connelly (advised by F. L. Morris after I left Syracuse), August 1990
Providence College, rconnell AT providence DOT edu
thesis: A Comparison of Semantic Domains for Interleaving (SU-CIS-90-24)

Badri R. Narayanan, December 1988
AT&T;, badri AT att DOT com
thesis: A General Framework for Models of Type Polymorphism (CIS-89-1)

Frank J. Oles, August 1982
Frankjosepholes AT aol DOT com
thesis: A Category-Theoretic Approach to the Semantics of Programming Languages

Nancy J. McCracken, June 1979
Syracuse University, njm AT ecs DOT syr DOT edu
thesis: An Investigation of a Programming Language with a Polymorphic Type Structure

Jerald S. Schwarz, December 1974
Wirecache, jerry AT acm DOT org
thesis: Semantics of Partial Correctness Formalisms

Former Ph.D. Students (Stanford University)

Wilfred J. Hansen (advised by W. F. Miller; I supervised his thesis research at Argonne National Laboratory), June 1971
Software Engineering Institute, Carnegie Mellon University, wjh AT cs DOT cmu DOT edu
thesis: Creation of Hierarchic Text with a Computer Display (ANL-7818)