Martín Abadi
Aliweza kujulikana kwa kazi ya ulinzi wa kompyuta na programu ya lugha za kikompyuta, ukijumlisha na karatasi yake (akiwa na Michael Burrows na Roger Needham) kwenye  Burrows–Abadi–Needham yenye mantiki ya kuchambua njia za utambulishaji, na kitabu chake (akiwa na Luca Cardelli) Vipengele vya nadharia, kuweka nje calculi rasmi kwa ajili ya muundo wa programu ya lugha ya kikompyuta ya vipengele zaidi.