TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Robin Milner's Work on Concurrency: An Appreciation

3 点作者 hackandthink4 个月前

2 条评论

defrost4 个月前
* He was made a Fellow of the Royal Society and a Distinguished Fellow of the British Computer Society in 1988.<p>* Milner received the ACM Turing Award in 1991.<p>* In 1994 he was inducted as a Fellow of the ACM.<p>* In 2004, the Royal Society of Edinburgh awarded Milner with a Royal Medal for his &quot;bringing about public benefits on a global scale&quot;.<p>* In 2008, he was elected a Foreign Associate of the National Academy of Engineering for &quot;fundamental contributions to computer science, including the development of LCF, ML, CCS, and the π-calculus.&quot;<p>* The Royal Society Milner Award and the ACM SIGPLAN Robin Milner Young Researcher Award are both named after him.<p>He had four Doctoral Students.<p>His Doctoral Advisor?<p><pre><code> None, as Milner never did a PhD </code></pre> ~ <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Robin_Milner" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Robin_Milner</a>
fithisux4 个月前
No, you can&#x27;t appreciate much his tremendous mathematical work on Process Algebras.<p>Thank you Robin, indeed.