Martín Abadi
Güvenlik protokollerini hakkında kanıt üretilebilir bir şeye dönüştüren, sonra aynı titizliği makine öğrenmesine taşıyan Arjantinli bilgisayar bilimci.
BAN mantığı (1989, Michael Burrows ve Roger Needham'la), bir kimlik doğrulama protokolünün katılımcılarının neye inanmaya hakkı olduğunu akıl yürütmek için ilk pratik biçimsel araçtı. 1997'de Andrew Gordon'la spi calculus'u geliştirdi; Needham'la birlikte de protokol tasarımı için, biçimsel yöntemlerin kaçırdığı hataları hâlâ yakalayan bir sağduyulu mühendislik ilkeleri listesi yazdı.
2005'te Microsoft Research'teki meslektaşlarıyla kontrol akışı bütünlüğünü (CFI) ortaya koydu; bugün derleyicilerde ve işlemcilerde yerleşik durumda. Google'da TensorFlow'un ve 2016'daki diferansiyel gizli derin öğrenme yönteminin ortak yazarlarındandı. Bir sistemin gerçekte neyi garanti ettiği sorusundan hiç ayrılmadan bu kadar sık alan değiştirmiş az insan var.