Andrew Myers

Als promovendus bij Barbara Liskov aan het MIT bedacht hij in 1997 het decentralized label model: elke waarde draagt een label dat aangeeft wie de eigenaar is en wie haar mag lezen, en de eigenaar – niet een centrale beheerder – beslist wanneer ze mag worden vrijgegeven. In 1999 bouwde hij het model in Java in als JFlow, later Jif, met informatiestromen die al bij het compileren op type worden gecontroleerd.

In 2003 schreef hij samen met Andrei Sabelfeld het overzichtsartikel dat het vakgebied definieerde. Latere toepassingen zijn onder meer het stemsysteem Civitas (2008), geschreven in Jif om stemmen kopen en dwang te weerstaan, en de gedistribueerde taal Fabric. De industrie heeft de typesystemen nooit echt omarmd, maar het idee leeft voort in elke taint-analyse die op zoek is naar XSS.