Robin Milner

· University of Edinburgh

55h 指数

37,530总引用

194发文

98i10

研究方向

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithmssemigroups and automata theory

University of Edinburgh学位项目

该教授任职院校的热门项目 (PhD/Master 优先)

传播学硕士
Communication · 24个月
MasterQS #35
历史学硕士
History · 24个月
MasterQS #35
哲学硕士
Philosophy · 24个月
MasterQS #35
历史学博士
History · 60个月
PhDQS #35
文学硕士
Literature · 24个月
MasterQS #35
文学博士
Literature · 60个月
PhDQS #35
语言学硕士
Linguistics · 24个月
MasterQS #35
教育学硕士
Education · 24个月
MasterQS #35

数据来源: OpenAlex + ORCID + Wikidata · 数据质量: verified

登录后开启学术探索

收藏教授 / 论文 / 学科排名, 订阅研究方向更新。登录后开启这些能力。

已有账号?