MIT, Cambridge, MA

Co-author of Argus, the first programming language to integrate transactions and remote procedure calls for reliable distributed computing.

Built the first large applications in Argus, including demonstrating that Argus could support a simplified form of dynamic reconfiguration.

Contributed to research on parallel programming languages, notably Symmetric Lisp.