Martín Abadi: Difference between revisions
Jerryobject (talk | contribs) Adds: information, WP:LINKs. |
Jerryobject (talk | contribs) Template:Infobox scientist; WP:REFerences: plain text + inline WP:EXTernal links > WP:CITations; parameters: updates, adds, fills, conform to master templates. WP:LINKs: adds, updates, fix-cut needless WP:PIPE (WP:NOPIPE). Commented unused section MOS:HEADings. Template:Official website add. |
||
Line 3: | Line 3: | ||
|name = Martín Abadi |
|name = Martín Abadi |
||
|image = |
|image = |
||
|image_size = |
|||
|caption = |
|caption = |
||
|birth_date = {{birth year and age|1963}} |
|birth_date = {{birth year and age|1963}} |
||
Line 12: | Line 11: | ||
|nationality = |
|nationality = |
||
|ethnicity = |
|ethnicity = |
||
| |
|fields = [[Computer science]]<br/>[[Cryptography]] |
||
| |
|workplaces = [[Google]]<br/>[[University of California, Santa Cruz]]<br/>[[Collège de France]] |
||
| |
|education = [[Doctor of Philosophy|PhD]], [[Stanford University]], 1987 |
||
|doctoral_advisor = [[Zohar Manna]] |
|doctoral_advisor = [[Zohar Manna]] |
||
|doctoral_students = |
|doctoral_students = |
||
|known_for = [[Burrows–Abadi–Needham logic]]<br/>[[Baby Modula-3]]<br/>''A Theory of Objects'' |
|||
|known_for = |
|||
|author_abbrev_bot = |
|||
|author_abbrev_zoo = |
|||
|prizes = |
|prizes = |
||
|religion = |
|||
|signature = |
|signature = |
||
|footnotes = |
|footnotes = |
||
}} |
}} |
||
'''Martín Abadi''' (born 1963)<ref>https://www.college-de-france.fr/site/en-martin-abadi/ |
'''Martín Abadi''' (born 1963)<ref>{{cite web |url=https://www.college-de-france.fr/site/en-martin-abadi/ |title=Biography: Informatics and Computational Sciences: Martin Abadi |date=2010–2011 |website=Collège de France |access-date=5 March 2021}}</ref> is an [[Argentina|Argentine]] [[computer scientist]], working at [[Google]] {{as of|2021|lc=y}}.<ref>{{cite web |url=https://research.google/people/abadi/ |title=People: Martín Abadi |website=Google Research |access-date=5 March 2021}}</ref> 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 language]]s, including his paper (with [[Michael Burrows]] and [[Roger Needham]]) on the ''[[ |
He is well known for his work on [[computer security]] and on [[programming language]]s, 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.<ref>{{Cite book |last1=Abadi |first1=Martin |last2=Cardelli |first2=Luca |author2-link=Luca Cardelli |date=9 August 1996 |title=A Theory of Objects |edition=Corrected |publisher=Springer |isbn=978-0387947754}}</ref> |
||
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 [[Ideal (set theory)|ideals]]. |
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 [[Ideal (set theory)|ideals]]. |
||
He is a 2008 [[List of |
He is a 2008 [[List of fellows of the Association for Computing Machinery|Fellow of the Association for Computing Machinery]].<ref>{{cite web |url=https://awards.acm.org/award_winners/abadi_1389428 |title=Martin Abadi |date=2008 |website=ACM Awards |publisher=Association for Computing Machinery |access-date=5 March 2021}}</ref> In 2011, he was a temporary professor at the [[Collège de France]] in [[Paris]],<ref>[http://www.legifrance.gouv.fr/affichTexte.do?dateTexte=&categorieLien=id&cidTexte=JORFTEXT000022799552&fastPos=4&fastReqId=993342844&oldAction=rechExpMesuresNominatives Decree of the President of the French Republic], 7 september 2010, appointing Mr Martin Abadi, professor at the [[University of California]], as full-time temporary professor for the 2010-2011 academic year,</ref> teaching [[computer security]]. He was elected a member of the [[National Academy of Engineering]] in 2018.<ref>{{Cite web |url=https://www.nae.edu/178117.aspx |title=National Academy of Engineering Elects 83 Members and 16 Foreign Members |website=National Academy of Engineering (NAE) |access-date=2018-02-09}}</ref> |
||
<!-- |
|||
== See also == |
== See also == |
||
⚫ | |||
*[[Baby modula-3]] |
|||
⚫ | |||
* A Theory of Objects {{ISBN|0-387-94775-2}} |
|||
== References == |
== References == |
||
Line 44: | Line 37: | ||
== External links == |
== External links == |
||
* |
* {{Official website|www.soe.ucsc.edu/~abadi/home.html}}, UCSC |
||
{{Authority control}} |
{{Authority control}} |
Revision as of 07:12, 5 March 2021
Martín Abadi | |
---|---|
Born | 1963 (age 60–61) |
Education | PhD, Stanford University, 1987 |
Known for | Burrows–Abadi–Needham logic Baby Modula-3 A Theory of Objects |
Scientific career | |
Fields | Computer science Cryptography |
Institutions | Google University of California, Santa Cruz Collège de France |
Doctoral advisor | Zohar Manna |
Martín Abadi (born 1963)[1] is an Argentine computer scientist, working at Google as of 2021[update].[2] 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.[3]
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.
He is a 2008 Fellow of the Association for Computing Machinery.[4] In 2011, he was a temporary professor at the Collège de France in Paris,[5] teaching computer security. He was elected a member of the National Academy of Engineering in 2018.[6]
References
- ^ "Biography: Informatics and Computational Sciences: Martin Abadi". Collège de France. 2010–2011. Retrieved 5 March 2021.
- ^ "People: Martín Abadi". Google Research. Retrieved 5 March 2021.
- ^ Abadi, Martin; Cardelli, Luca (9 August 1996). A Theory of Objects (Corrected ed.). Springer. ISBN 978-0387947754.
- ^ "Martin Abadi". ACM Awards. Association for Computing Machinery. 2008. Retrieved 5 March 2021.
- ^ Decree of the President of the French Republic, 7 september 2010, appointing Mr Martin Abadi, professor at the University of California, as full-time temporary professor for the 2010-2011 academic year,
- ^ "National Academy of Engineering Elects 83 Members and 16 Foreign Members". National Academy of Engineering (NAE). Retrieved 9 February 2018.
External links
- Official website, UCSC
- 1963 births
- Living people
- American computer scientists
- Computer security academics
- Stanford University School of Engineering alumni
- University of California, Santa Cruz faculty
- Fellows of the Association for Computing Machinery
- Google people
- Members of the United States National Academy of Engineering
- Argentine expatriates in the United States