Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Martín_Abadi> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Martín_Abadi abstract "Martín Abadi (born 1963) is an Argentinian computer scientist, currently working at the University of California, Santa Cruz and Google. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna.He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.He is a 2008 Fellow of the Association for Computing Machinery. In 2011, he was a temporary professor at the Collège de France in Paris, teaching computer security.".
- Martín_Abadi birthYear "1963".
- Martín_Abadi wikiPageExternalLink home.html.
- Martín_Abadi wikiPageID "8489864".
- Martín_Abadi wikiPageLength "2332".
- Martín_Abadi wikiPageOutDegree "25".
- Martín_Abadi wikiPageRevisionID "670995219".
- Martín_Abadi wikiPageWikiLink Argentina.
- Martín_Abadi wikiPageWikiLink Association_for_Computing_Machinery.
- Martín_Abadi wikiPageWikiLink Baby_modula-3.
- Martín_Abadi wikiPageWikiLink Burrows–Abadi–Needham_logic.
- Martín_Abadi wikiPageWikiLink Category:1963_births.
- Martín_Abadi wikiPageWikiLink Category:American_computer_scientists.
- Martín_Abadi wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Martín_Abadi wikiPageWikiLink Category:Living_people.
- Martín_Abadi wikiPageWikiLink Category:People_associated_with_computer_security.
- Martín_Abadi wikiPageWikiLink Category:Stanford_University_alumni.
- Martín_Abadi wikiPageWikiLink Category:University_of_California,_Santa_Cruz_faculty.
- Martín_Abadi wikiPageWikiLink Collège_de_France.
- Martín_Abadi wikiPageWikiLink Computer_science.
- Martín_Abadi wikiPageWikiLink Computer_security.
- Martín_Abadi wikiPageWikiLink Doctor_of_Philosophy.
- Martín_Abadi wikiPageWikiLink Google.
- Martín_Abadi wikiPageWikiLink Luca_Cardelli.
- Martín_Abadi wikiPageWikiLink Michael_Burrows.
- Martín_Abadi wikiPageWikiLink Paris.
- Martín_Abadi wikiPageWikiLink Programming_language.
- Martín_Abadi wikiPageWikiLink Roger_Needham.
- Martín_Abadi wikiPageWikiLink Stanford_University.
- Martín_Abadi wikiPageWikiLink University_of_California,_Santa_Cruz.
- Martín_Abadi wikiPageWikiLink Zohar_Manna.
- Martín_Abadi wikiPageWikiLinkText "Abadi, Martín".
- Martín_Abadi wikiPageWikiLinkText "Martín Abadi".
- Martín_Abadi dateOfBirth "1963".
- Martín_Abadi name "Abadi, Martin".
- Martín_Abadi shortDescription "Argentinian computer scientist".
- Martín_Abadi wikiPageUsesTemplate Template:Persondata.
- Martín_Abadi wikiPageUsesTemplate Template:Reflist.
- Martín_Abadi wikiPageUsesTemplate Template:Use_dmy_dates.
- Martín_Abadi description "Argentinian computer scientist".
- Martín_Abadi subject Category:1963_births.
- Martín_Abadi subject Category:American_computer_scientists.
- Martín_Abadi subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Martín_Abadi subject Category:Living_people.
- Martín_Abadi subject Category:People_associated_with_computer_security.
- Martín_Abadi subject Category:Stanford_University_alumni.
- Martín_Abadi subject Category:University_of_California,_Santa_Cruz_faculty.
- Martín_Abadi hypernym Scientist.
- Martín_Abadi type Agent.
- Martín_Abadi type List.
- Martín_Abadi type Person.
- Martín_Abadi type Scientist.
- Martín_Abadi type Person.
- Martín_Abadi type Diacritic.
- Martín_Abadi type List.
- Martín_Abadi type Member.
- Martín_Abadi type Redirect.
- Martín_Abadi type Scientist.
- Martín_Abadi type Agent.
- Martín_Abadi type NaturalPerson.
- Martín_Abadi type Thing.
- Martín_Abadi type Q215627.
- Martín_Abadi type Q5.
- Martín_Abadi type Person.
- Martín_Abadi comment "Martín Abadi (born 1963) is an Argentinian computer scientist, currently working at the University of California, Santa Cruz and Google. He earned his Ph.D.".
- Martín_Abadi label "Martín Abadi".
- Martín_Abadi sameAs Q6777754.
- Martín_Abadi sameAs Martín_Abadi.
- Martín_Abadi sameAs m.02759x5.
- Martín_Abadi sameAs Q6777754.
- Martín_Abadi wasDerivedFrom Martín_Abadi?oldid=670995219.
- Martín_Abadi isPrimaryTopicOf Martín_Abadi.
- Martín_Abadi name "Abadi, Martin".