Question 1: Since 2009, Milner is a SICSA Advanced Research Fellow and holds (part-time) the Chair of Computer Science at the ________. | |||
|
Question 2: Address in Bologna, a short address by Milner on receiving Laurea Honoris Causa in Computer Science from the ________, summarising some of his main works, 9 July 1997 | |||
|
Question 3: He was made a Fellow of the ________ in 1988 and received the ACM Turing Award in 1991. | |||
|
Question 4: He developed LCF, one of the first tools for ________. | |||
|
Question 5: Milner was born in Yealmpton, near Plymouth, ________ into a military family. | |||
|
Question 6: He was awarded a scholarship to ________ in 1947, and subsequently served in the Royal Engineers, attaining the rank of Second Lieutenant. | |||
|
Question 7: Arthur John Robin Gorell Milner FRS ________ (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist. | |||
|
Question 8: Milner is generally regarded as having made three major contributions to ________. | |||
|
Question 9: In 2004 the ________ awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale". | |||
|
Question 10: The language he developed for LCF, ML, was the first language with polymorphic type inference and type-safe ________. | |||
|
|