AI
About
Martín Abadi has been at Google since November 2014. A list of publications (going back to 1985) and other information is in web pages at UC Santa Cruz (where he is now Emeritus).