Leksykon IT › Bezpieczeństwo › Andrew Appel

Andrew Appel

Bezpieczeństwo Svenska → Zaktualizowano: 2026-10-17

Profesor z Princeton, znany najpierw z kompilatorów i Standard ML, a potem z kupowania używanych maszyn do głosowania, by pokazać, jak łatwo je sfałszować.

W latach 80. i 90. Appel był jedną z głównych sił stojących za Standard ML of New Jersey i napisał podręczniki Modern Compiler Implementation (1998), z którymi wielu studentów informatyki zmaga się do dziś. Później zajmował się przede wszystkim formalnie weryfikowanym oprogramowaniem.

W 2007 roku kupił maszyny Sequoia AVC Advantage, które jedno z hrabstw wyprzedało jako nadwyżkę. W 2008 roku jego zespół, w którym byli m.in. Harri Hursti i Brian Kernighan, wykazał, że układ ROM można wymienić w kilka minut, po czym maszyna po cichu przerzucała głosy między kandydatami, a z zewnątrz nic tego nie zdradzało. Raport powstał jako opinia biegłych w procesie w New Jersey. Sequoia groziła pozwem; maszyny pozostały w użyciu jeszcze przez lata.

← Wróć do leksykonu