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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n31http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
n9http://www.soe.ucsc.edu/~abadi/
n17http://viaf.org/viaf/
n7http://azb.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-swhttp://sw.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n27https://dblp.org/pid/a/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n29http://data.bibliotheken.nl/id/thes/
n20http://d-nb.info/gnd/

Statements

Subject Item
dbr:Martín_Abadi
rdf:type
wikidata:Q729 yago:Scholar110557854 yago:ComputerScientist109951070 yago:ComputerUser109951274 wikidata:Q5 dbo:Person dbo:Eukaryote dbo:Animal yago:CausalAgent100007347 n19:NaturalPerson yago:WikicatStanfordUniversityAlumni wikidata:Q215627 yago:PhysicalEntity100001930 schema:Person yago:Whole100003553 wikidata:Q19088 yago:WikicatLivingPeople yago:Scientist110560637 yago:Associate109816771 yago:LivingThing100004258 dbo:Species dbo:Scientist yago:Colleague109935990 yago:Peer109626238 wikidata:Q901 yago:Object100002684 yago:WikicatAmericanComputerScientists yago:Intellectual109621545 yago:Person100007846 yago:Organism100004475 owl:Thing yago:YagoLegalActor yago:YagoLegalActorGeo yago:WikicatFellowsOfTheAssociationForComputingMachinery yago:WikicatPeopleAssociatedWithComputerSecurity foaf:Person yago:Alumnus109786338
rdfs:label
Martín Abadi Martín Abadi مارتين عبادي Martín Abadi
rdfs:comment
Martín Abadi (né en 1963) est un informaticien argentin. Il travaille à l'université de Californie à Santa Cruz et chez Google. Il est surtout connu pour son travail en sécurité des systèmes d'information ainsi que sur les langages de programmation. Il devient membre de l'Association for Computing Machinery en 2008. 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. Martín Abadi (born 1963) is an Argentine computer scientist, working at Google as of 2021. He earned his Doctor of Philosophy (PhD) in computer science 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. مارتين عبادي (بالإنجليزية: Martín Abadi؛ بالإسبانية: Martín Abadi) هو عالم تعمية ‏ وعالم حاسوب أمريكي وأرجنتيني، ولد في 1963 في الأرجنتين.
foaf:name
Martín Abadi
foaf:homepage
n9:home.html
dbp:name
Martín Abadi
dbo:birthPlace
dbr:Argentina
dbp:birthPlace
dbr:Argentina
dcterms:subject
dbc:Argentine_expatriates_in_the_United_States dbc:Members_of_the_United_States_National_Academy_of_Engineering dbc:1963_births dbc:American_computer_scientists dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Stanford_University_School_of_Engineering_alumni dbc:Computer_security_academics dbc:University_of_California,_Santa_Cruz_faculty dbc:Living_people dbc:Google_people
dbo:wikiPageID
8489864
dbo:wikiPageRevisionID
1104303275
dbo:wikiPageWikiLink
dbr:Collège_de_France dbr:Google dbr:Sublanguage dbr:Programming_language dbr:Computer_science dbc:Living_people dbr:TensorFlow dbr:Zohar_Manna dbc:Argentine_expatriates_in_the_United_States dbc:Members_of_the_United_States_National_Academy_of_Engineering dbr:Modula-3 dbr:Luca_Cardelli dbr:Burrows–Abadi–Needham_logic dbr:Functional_programming dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Paris dbr:Stanford_University dbr:Argentina dbr:University_of_California,_Santa_Cruz dbc:1963_births dbr:Baby_Modula-3 dbr:National_Academy_of_Engineering dbr:Cryptography dbr:Machine_learning dbc:American_computer_scientists dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Object-oriented_programming dbr:Michael_Burrows dbr:Computer_security dbc:Stanford_University_School_of_Engineering_alumni dbr:Roger_Needham dbr:Computer_scientist dbr:Doctor_of_Philosophy dbr:Ideal_(set_theory) dbc:University_of_California,_Santa_Cruz_faculty dbc:Computer_security_academics dbc:Google_people
owl:sameAs
n7:مارتین_ابدی dbpedia-sw:Martín_Abadi dbpedia-fr:Martín_Abadi n17:29701841 n18:4rK5V n20:114765820 wikidata:Q6777754 n20:104873630X dbpedia-fa:مارتین_ابدی dbpedia-ar:مارتين_عبادي n27:MartinAbadi dbpedia-es:Martín_Abadi n29:p161957749 freebase:m.02759x5 n31:مارتن_عبادى
dbp:workplaces
dbr:Google dbr:University_of_California,_Santa_Cruz dbr:Collège_de_France
dbp:wikiPageUsesTemplate
dbt:Birth_year_and_age dbt:Infobox_scientist dbt:Short_description dbt:As_of dbt:Use_dmy_dates dbt:Reflist dbt:Modula,_Oberon dbt:Authority_control dbt:Official_website
dbp:education
PhD, Stanford University, 1987
dbp:fields
dbr:Cryptography dbr:Computer_science
dbp:knownFor
dbr:Baby_Modula-3 dbr:Burrows–Abadi–Needham_logic A Theory of Objects
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.​ Martín Abadi (born 1963) is an Argentine computer scientist, working at Google as of 2021. He earned his Doctor of Philosophy (PhD) in computer science 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. In 1993, he published the programming language Baby Modula-3, a safe subset or sublanguage of Modula-3, based on functional programming and set theory ideals. Abadi is a core developer for the machine learning framework Tensorflow. 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. He was elected a member of the National Academy of Engineering in 2018 for contributions to the formal theory of computer security. مارتين عبادي (بالإنجليزية: Martín Abadi؛ بالإسبانية: Martín Abadi) هو عالم تعمية ‏ وعالم حاسوب أمريكي وأرجنتيني، ولد في 1963 في الأرجنتين. Martín Abadi (né en 1963) est un informaticien argentin. Il travaille à l'université de Californie à Santa Cruz et chez Google. Il est surtout connu pour son travail en sécurité des systèmes d'information ainsi que sur les langages de programmation. Il devient membre de l'Association for Computing Machinery en 2008.
dbp:doctoralAdvisor
dbr:Zohar_Manna
dbo:doctoralAdvisor
dbr:Zohar_Manna
dbo:institution
dbr:University_of_California,_Santa_Cruz dbr:Collège_de_France dbr:Google
gold:hypernym
dbr:Scientist
prov:wasDerivedFrom
wikipedia-en:Martín_Abadi?oldid=1104303275&ns=0
dbo:wikiPageLength
4818
dbo:academicDiscipline
dbr:Cryptography dbr:Computer_science
dbo:knownFor
dbr:Burrows–Abadi–Needham_logic dbr:Baby_Modula-3
foaf:isPrimaryTopicOf
wikipedia-en:Martín_Abadi