请输入您要查询的百科知识:

 

词条 David Park (computer scientist)
释义

  1. Notes

  2. External links

{{Use dmy dates|date=April 2018}}{{Use British English|date=April 2018}}{{Infobox scientist
| name = David Park
| image =
| image_size =
| caption =
| birth_date = 1935
| birth_place =
| death_date = {{death date|df=yes|1990|09|29}}
| death_place =
| nationality = British
| fields = Mathematics
| workplaces = University of Cambridge
| alma_mater = Massachusetts Institute of Technology
| doctoral_advisor = Hartley Rogers Jr.
| doctoral_students = Mike Paterson
| known_for =
| awards =
| thesis_title = Set-Theoretic Constructions in Model Theory
| thesis_year = 1964
}}David Michael Ritchie Park (1935 – 29 September 1990) was a British computer scientist. He worked on the first implementation of LISP.[1]

He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.[2]

Notes

1. ^{{Citation | last = McCarthy | first = J. | author-link = John McCarthy (computer scientist) | last2 = Brayton | first2 = R. | author2-link = Robert Brayton (computer scientist) | last3 = Edwards | first3 = D. | author3-link = Daniel Edwards (programmer) | last4 = Fox | first4 = P. | author4-link = Phyllis Fox | last5 = Hodes | first5 = L. | author5-link = Louis Hodes | last6 = Luckham | first6 = D. | author6-link = David Luckham | last7 = Maling | first7 = K. | author7-link = Klim Maling (programmer) | last8 = Park | first8 = D. | last9 = Russell | first9 = S. | author9-link = Steve Russell (computer scientist) | title = LISP I Programmers Manual | place = Boston, Massachusetts | publisher = Artificial Intelligence Group, M.I.T. Computation Center and Research Laboratory | origyear = |date=March 1960 | volume = | edition = | chapter = | chapterurl = | page = | pages = | url = http://history.siam.org/sup/Fox_1960_LISP.pdf | archiveurl = | archivedate = | doi = | id = | isbn = }} Accessed 11 May 2010.
2. ^"Obituary: Professor David Michael Ritchie Park", M.S. Paterson, Formal Aspects of Computing, Springer London, ISSN 0934-5043 (Print) 1433-299X (Online), v.2, #1 / March, 1990 {{DOI|10.1007/BF01888230}}, pp. 299-300  

External links

  • {{MathGenealogy |id=53676 }}
{{Authority control}}{{DEFAULTSORT:Park, David}}{{compu-scientist-stub}}

5 : 1935 births|1990 deaths|British computer scientists|Computer scientist stubs|Massachusetts Institute of Technology alumni

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/20 16:55:45