ロビン・ミルナー
ロビン・ミルナー | |
---|---|
1934![]() | |
2010![]() | |
![]() | |
| |
フェランティ シティ スウォンジー スタンフォード エディンバラ | |
| |
LCF ML Calculus of communicating systems Pi-calculus ヒンドリー-ミルナー | |
チューリング | |
プロジェクト: |
アーサー・ジョン・ロビン・ゴレル・ミルナー(Arthur John Robin Gorell Milner FRS、1934
経歴
[イングランド、プリマス
2010
業績
[ミルナーの
受賞 歴
[- 1988
年 -王立 協会 フェロー[10] - 1991
年 - ACMチューリング賞 - 1994
年 - ACMフェロー - 2004
年 - Royal Medal(Royal Society of Edinburgh)[11] - 2008
年 -全米 技術 アカデミー外国 人 会員 [12]
主 な著作
[- A Calculus of Communicating Systems, Robin Milner. Springer-Verlag (LNCS 92), 1980. ISBN 3-540-10235-3
- Communication and Concurrency, Robin Milner. Prentice Hall (International Series in Computer Science), 1989. ISBN 0-13-115007-3
- The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990
- The Definition of Standard ML (Revised), Robin Milner, Mads Tofte, Robert Harper, David MacQueen, MIT Press 1997. ISBN 0-262-63181-4
- Commentary on Standard ML, Robin Milner, Mads Tofte, MIT Press 1997. ISBN 0-262-63137-7
- Communicating and Mobile Systems: the Pi-Calculus, Robin Milner. Cambridge University Press, 1999. ISBN 0-521-65869-1
- The Space and Motion of Communicating Agents, Robin Milner, Cambridge University Press, 2009. ISBN 978-0-521-73833-0
- Publications by Robin Milner in DBLP
参考 文献
[- Proof, Language, and Interaction: Essays in Honour of Robin Milner, edited by Gordon Plotkin, Colin Stirling and Mads Tofte. The MIT Press, 2000. ISBN 0-262-16188-5.
- A brief biography of and speech by Robin Milner
- A Brief Scientific Biography of Robin Milner (from Proof, Language, and Interaction: Essays in Honour of Robin Milner)
出典
[- ^ Interview with Robin Milner by Martin Berger.
- ^ Milner, R. (1993). “Elements of interaction: Turing award lecture”. Communications of the ACM 36: 78–89. doi:10.1145/151233.151240.
- ^ a b Obituary — Professor Robin Milner: computer scientist, The Times, 31 March 2010.
- ^ Hoffmann, L. (2010). “Robin Milner: the elegant pragmatist”. Communications of the ACM 53 (6): 20. doi:10.1145/1743546.1743556.
- ^ Milner, R. (1987). “Is Computing an Experimental Science?”. Journal of Information Technology 2 (2): 58–66. doi:10.1057/jit.1987.12.
- ^ http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University - Obituary
- ^ http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage
- ^ Newsgroup message informing on Milner's death.
- ^ Milner, Robin. “The Bigraphical Model”. University of Cambridge. 2009
年 11月7日 閲覧 。 “Bigraphs [...] are proposed as a Ubiquitous Abstract Machine, playing the foundational role for ubiquitous computing that the von Neumann machine has played for sequential computing.” - ^ "Milner; Arthur John Robin Gorell". Record (
英語 ). The Royal Society. 2011年 12月11日 閲覧 。 - ^ “Royal Medalists”. Royal Society of Edinburgh. 2012
年 8月 25日 閲覧 。 - ^ “NATIONAL ACADEMY OF ENGINEERING ELECTS 65 MEMBERS AND NINE FOREIGN ASSOCIATES”. National Academy of Engineering. (2008
年 2月 8日 )
外部 リンク
[- Milner's Cambridge homepage
- An interview with Robin Milner by Martin Berger, 2003
年 9月 3日 - Address in Bologna, a short address by Milner on receiving Laurea Honoris Causa in Computer Science from the University of Bologna, summarising some of his main works, 9 July 1997
- Is informatics a science?, conference at ENS, 10 December 2007