| 词条 | Gordon Plotkin |
| 释义 |
| image =Gordon Plotkin.jpg | honorific_suffix = {{post-nominals|country=GBR|FRS|FRSE|MAE|size=100%}} | caption=At the MFCS 2005 conference | name = Gordon Plotkin | birth_name = Gordon David Plotkinl | birth_date = {{Birth date and age|df=yes|1946|9|9}}[1] | birth_place = Glasgow | residence = Scotland | nationality = British | field = Logic Mathematics Computer science | work_institution = University of Edinburgh Laboratory for Foundations of Computer Science School of Informatics University of Glasgow | alma_mater =University of Glasgow (BSc) University of Edinburgh (PhD) | awards = {{Plainlist|
| thesis_title = Automatic methods of inductive inference | thesis_year = 1972 | thesis_url = https://hdl.handle.net/1842/6656 | known_for = Programming Computable Functions Unbounded nondeterminism Operational semantics Domain theory | website = {{URL|http://homepages.inf.ed.ac.uk/gdp}} {{URL|inf.ed.ac.uk/people/staff/Gordon_Plotkin.html}} | doctoral_advisor = {{Plainlist|
| doctoral_students = {{Plainlist|
}}Gordon David Plotkin, {{post-nominals|country=GBR|FRS|FRSE|MAE}} (born 9 September 1946)[1] is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential.{{fact|date=November 2018}} He has contributed to many other areas of computer science.[8][9][10][11][12][13][14] EducationPlotkin was educated at the University of Glasgow and the University of Edinburgh, gaining his Bachelor of Science degree in 1967[1] and PhD in 1972[15] supervised by Rod Burstall.[2] Career and researchPlotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).[16][17][18][19] His former doctoral students include Luca Cardelli,[3] Philippa Gardner,[4] Doug Gurr,[5] Eugenio Moggi,[6] and Lǐ Wèi.[7][2] Awards and honoursPlotkin was elected a Fellow of the Royal Society (FRS) in 1992, and a Fellow of the Royal Society of Edinburgh (FRSE){{when|date=November 2018}} and is a Member of the Academia Europæa.[20] He is also a winner of the Royal Society Wolfson Research Merit Award. Plotkin received the Milner Award in 2012 for "his fundamental research into programming semantics with lasting impact on both the principles and design of programming languages."[21] His nomination for the Royal Society reads: {{centred pull quote|Plotkin has contributed to Artificial Intelligence, Logic, Linguistics and especially to Computer Science. In AI he worked on hypothesis-formation and universal unification; in Logic, on frameworks for arbitrary logics; in Linguistics, on formalising situation theory. His main general contribution has been to establish a semantic framework for Computer Science, especially programming languages. Particular significant results are in the lambda-calculus (elementary models, definability, call-by-value), non-determinism (powerdomain theory), semantic formalisms (structured operational semantics, metalanguages), and categories of semantic domains (coherent, pro-finite, concrete). Further contributions concern the semantic paradigm of full abstraction, concurrency theory (event structures), programming logic and type theory.[22]}} References1. ^1 2 {{Who's Who | author=Anon| surname = Plotkin | othernames = Prof. Gordon David | id = U31011 | year = 2013 | edition = online Oxford University Press|location=Oxford|doi=10.1093/ww/9780199540884.013.U31011}} {{subscription required}} {{Milner Award laureates}}{{FRS 1992}}{{Authority control}}{{DEFAULTSORT:Plotkin, Gordon}}2. ^1 2 {{MathGenealogy|id=95717}} 3. ^1 {{cite thesis |degree=PhD |first=Luca|last=Cardelli |title=An algebraic approach to hardware description and verification |publisher=University of Edinburgh |date=1982 |id={{EThOS|uk.bl.ethos.253190}}|url=https://www.era.lib.ed.ac.uk/handle/1842/13308|website=ed.ac.uk|hdl=1842/13308|authorlink=Luca Cardelli}} 4. ^1 {{cite thesis|degree=PhD|publisher=University of Edinburgh|url=https://www.era.lib.ed.ac.uk/handle/1842/14888|hdl=1842/14888|title=Representing logics in type theory|first= Philippa|last=Gardner|date=1992|id={{EThOS|uk.bl.ethos.651333}}|website=ed.ac.uk}} {{free access}} 5. ^1 {{cite thesis|degree=PhD|publisher=University of Edinburgh|url=https://www.era.lib.ed.ac.uk/handle/1842/13968|hdl=1842/13968|title=Semantic frameworks for complexity|first= Douglas John|last=Gurr|date=1990|id={{EThOS|uk.bl.ethos.651894}}|website=ed.ac.uk|oclc=475827463}} {{free access}} 6. ^1 {{cite thesis |degree=PhD |first=Eugenio|last=Moggi |title=The partial lambda calculus |publisher=University of Edinburgh |date=1999 |url=https://www.era.lib.ed.ac.uk/handle/1842/419|hdl=1842/419|authorlink=Eugenio Moggi}} 7. ^1 {{cite thesis |degree=PhD |first=Lǐ|last=Wèi |title=An operational approach to semantics and translation for programming languages |date=1983 |url=https://www.era.lib.ed.ac.uk/handle/1842/6636}} 8. ^{{Google scholar id}} 9. ^{{ACMPortal|id=81100235459}} 10. ^{{Scopus id}} 11. ^{{DBLP|name=Gordon D. Plotkin}} 12. ^{{Cite journal | last1 = Mitchell | first1 = J. C. | authorlink1 = John C. Mitchell| last2 = Plotkin | first2 = G. D.| authorlink2 = Gordon Plotkin | doi = 10.1145/44501.45065 | title = Abstract types have existential type | journal = ACM Transactions on Programming Languages and Systems | volume = 10 | issue = 3 | pages = 470 | year = 1988 | pmid = | pmc = }} 13. ^{{Cite journal | last1 = Abadi | first1 = M. N. | authorlink1 = Martín Abadi| last2 = Burrows | first2 = M. | authorlink2 = Michael Burrows| last3 = Lampson | first3 = B. | authorlink3 = Butler Lampson| last4 = Plotkin | first4 = G. | authorlink4 = Gordon Plotkin| title = A calculus for access control in distributed systems | doi = 10.1145/155183.155225 | journal = ACM Transactions on Programming Languages and Systems | volume = 15 | issue = 4 | pages = 706 | year = 1993 | url = http://homepages.inf.ed.ac.uk/gdp/publications/Calculus_for_Access_Control.pdf| pmid = | pmc = | citeseerx = 10.1.1.72.3756 }} 14. ^{{cite web|url=http://www.lfcs.inf.ed.ac.uk/events/plotkin-symposium/|title=Symposium for Gordon Plotkin|website=www.lfcs.inf.ed.ac.uk}} 15. ^1 {{cite thesis |degree=PhD |first=Gordon David|last=Plotkin |title=Automatic methods of inductive inference |publisher=University of Edinburgh |date=1972 |url=https://www.era.lib.ed.ac.uk/handle/1842/6656|website=ed.ac.uk|hdl=1842/6656|id={{EThOS|uk.bl.ethos.482992}}|authorlink=Gordon Plotkin}} {{free access}} 16. ^{{Cite journal | doi = 10.1016/0304-3975(75)90017-1| title = Call-by-name, call-by-value and the λ-calculus| journal = Theoretical Computer Science| volume = 1| issue = 2| pages = 125–159| year = 1975| last1 = Plotkin | first1 = G. D. }} 17. ^{{Cite journal | doi = 10.1016/j.jlap.2004.03.009| title = The origins of structural operational semantics| journal = The Journal of Logic and Algebraic Programming| volume = 60-61| pages = 3–15| year = 2004| last1 = Plotkin | first1 = G. D. }} 18. ^A Structural Approach to Operational Semantics by G.D. Plotkin (1981) 19. ^Program Verification and Semantics: Further Work {{webarchive|url=https://web.archive.org/web/20070926235346/http://vmoc.museophile.org/pvs04/ |date=26 September 2007 }} (2004) 20. ^{{cite web|url=https://www.ae-info.org/ae/Member/Plotkin_Gordon|title=Academy of Europe: Plotkin Gordon|first=Ilire Hasani, Robert|last=Hoffmann|website=www.ae-info.org}} 21. ^{{cite web|url=http://royalsociety.org/awards/milner-award/|title=- Royal Society|website=royalsociety.org}} 22. ^{{cite web |url=https://collections.royalsociety.org/DServe.exe?dsqIni=Dserve.ini&dsqApp=Archive&dsqDb=Catalog&dsqCmd=show.tcl&dsqSearch=(RefNo==%27EC%2F1992%2F29%27) |title=EC/1992/29: Plotkin, Gordon David |publisher=The Royal Society |archivedate=16 April 2014 |archiveurl=https://www.webcitation.org/6Orp6oRwz?url=https://collections.royalsociety.org/DServe.exe?dsqIni=Dserve.ini&dsqApp=Archive&dsqDb=Catalog&dsqCmd=show.tcl&dsqSearch=%28RefNo%3D%3D%27EC%2F1992%2F29%27%29 |location=London |deadurl=yes |df=dmy-all }} 13 : 1946 births|Living people|British computer scientists|Fellows of the Royal Society|Members of Academia Europaea|Royal Society Wolfson Research Merit Award holders|Formal methods people|Programming language researchers|British Jews|Jewish scientists|Alumni of the University of Edinburgh|Academics of the University of Edinburgh|Fellows of the Royal Society of Edinburgh |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。