The html resume below is stale.
Mr. Miller has been a trailblazer in the computer software industry for the past twenty-five years. He is the co-inventor of the agoric paradigm of market-based distributed secure computation. A co-founder of the Vulcan project at Xerox PARC, he is a pioneering designer of secure distributed programming languages including Vulcan for Xerox PARC, Trusty Scheme for AutoDesk, Joule for Agorics, Tclio for Sun Labs, and E for Communities.com, ERights.org, and Combex. Mr. Miller was also the chief architect of Xanadu -- a groundbreaking hypertext system that anticipated many of the Web's virtues.
Mr. Miller is a co-founder of Agorics, a successful startup company established to capitalize on the agoric computing vision. He is a co-director of the Agorics Project at George Mason University, researching market-based computing ideas. At Communities.com he was the chief architect of the E platform. He formed ERights.org to utilize the open-source process to advance both the recognition and the technology of the E platform, and co-founded Combex, Inc. in order to commercialize the results.
Mr. Miller holds a BS in Computer Science (cum laude with distinction) from Yale University. Mr. Miller is an inventor on seven patents in the areas of cryptographic protocols, automated combination auctions, and distributed secure object systems. He has two more patents pending.
HP Labs: Chief Architect, Virus-Safe Computing Initiative (2003-Present)
Combex, Inc.: Founder and Chief Technology Officer (2000-2003)
ERights.org: Open Source Coordinator (1998-Present)
Extropy Institute: Director (1997-Present)
The Extropy Institute seeks to understand how technological and other advances can substantially improve the human condition and beyond, while also seeking to avoid the dangers looming on this path.
Communities.com: Chief Architect of the platform (1996-1998)
Designed a technique for retro-fitting capability security onto the Java platform despite Javasoft's pursuit of conflicting security goals, while still playing within the "Pure Java" constraints. (This work is derived from, but different than, the technique I developed at Caplet.)crit.org: Participant and Kibbitzer (1997-Present)
Caplet Security: Sole Proprietor (1996-Present)
Agorics, Inc.: Founder and Sr. Software Architect (1994-1996)
Xerox PARC: Consultant (1985-1988)
Datapoint Technology Center: (1980-1985)
Please also see my papers, patents, and talks