Martín Abadi - CaLiGraph

Property	Value
rdf:type	Argentine expatriate in the United States owl:NamedIndividual 1963 birth American computer scientist Fellow of the Association for Computing Machinery Google person Living person Member of the United States National Academy of Engineering University of California, Santa Cruz people Computer security academic
rdfs:label	Martín Abadi
owl:sameAs	dbr:Martín_Abadi
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_University_of_California,_Santa_Cruz_people http://en.wikipedia.org/wiki/Category:Argentine_expatriates_in_the_United_States http://en.wikipedia.org/wiki/Category:1963_births http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Google_people http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Engineering http://en.wikipedia.org/wiki/Abadi_(surname) http://en.wikipedia.org/wiki/Category:Computer_security_academics
skos:prefLabel	Martín Abadi
skos:altLabel	Abadi, Martín Martin Abadi
clgo:academicDiscipline	Computer science Cryptography
clgo:birthPlace	California Argentina
clgo:birthYear	1963
clgo:doctoralAdvisor	Zohar Manna
clgo:institution	Google Collège de France University of California, Santa Cruz
clgo:knownFor	Baby Modula-3 Burrows–Abadi–Needham logic
clgo:nationality	Argentina
is clgo:doctoralStudent of	Zohar Manna
is clgo:knownFor of	Luca Cardelli

About: clgr:Martín_Abadi