This HTML5 document contains 24 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n16http://es.wikipedia.org/wiki/Martín_Abadi?oldid=122271452&ns=
n17http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n11http://www.soe.ucsc.edu/~abadi/home.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Martín_Abadi
rdf:type
wikidata:Q5 wikidata:Q24229398 owl:Thing foaf:Person schema:Person n12:Agent n12:NaturalPerson dbo:Agent dbo:Person wikidata:Q215627
rdfs:label
Martín Abadi
rdfs:comment
Martín Abadi (nació en 1963)​ es un científico en computación argentino, que trabaja actualmente en la Universidad de California, Santa Cruz y Google. Obtuvo su Doctorado en la Universidad de Stanford en 1987 como estudiante de Zohar Manna. Es muy reconocido por su trabajo en seguridad computacional y en lenguaje de programación, incluyendo su trabajo con Michael Burrows y Roger Needham sobre Burrows-Abadi-Needham logic donde analizan protocolos de autenticación, y su libro con Luca Cardelli A Theory of Objects, donde presentan cálculos formales para la semántica de los lenguajes de programación orientados a los objetos.
owl:sameAs
n17:02759x5
dct:subject
category-es:Informáticos_de_Estados_Unidos
foaf:isPrimaryTopicOf
wikipedia-es:Martín_Abadi
dbo:wikiPageID
6577367
dbo:wikiPageRevisionID
122271452
dbo:wikiPageExternalLink
n11:html
dbo:wikiPageLength
2106
prov:wasDerivedFrom
n16:0
dbo:abstract
Martín Abadi (nació en 1963)​ es un científico en computación argentino, que trabaja actualmente en la Universidad de California, Santa Cruz y Google. Obtuvo su Doctorado en la Universidad de Stanford en 1987 como estudiante de Zohar Manna. Es muy reconocido por su trabajo en seguridad computacional y en lenguaje de programación, incluyendo su trabajo con Michael Burrows y Roger Needham sobre Burrows-Abadi-Needham logic donde analizan protocolos de autenticación, y su libro con Luca Cardelli A Theory of Objects, donde presentan cálculos formales para la semántica de los lenguajes de programación orientados a los objetos. En 2008 Abadi fue Fellow de la Association for Computing Machinery.​ En 2011, fue profesor temporario en el Collège de France en Paris,​ El 7 de septiembre de 2010, nombran al Sr Martín Abadi, profesor en la Collège de France, como profesor tiempo completo temporario en el año académico 2010-2011 enseñando seguridad computacional.
Subject Item
dbpedia-es:Martin_Abadi
dbo:wikiPageRedirects
dbpedia-es:Martín_Abadi
Subject Item
wikipedia-es:Martín_Abadi
foaf:primaryTopic
dbpedia-es:Martín_Abadi
Subject Item
dbr:Martín_Abadi
owl:sameAs
dbpedia-es:Martín_Abadi