Dean Tribble co-designed the negotiation process and contract for the first smart contracting system, AMiX. As a Principal Architect at Microsoft, he co-designed the Midori distributed object-capability operating system.