The Full Wiki

More info on Robin Milner

Robin Milner: Quiz

Advertisements
  
  

Question 1: Since 2009, Milner is a SICSA Advanced Research Fellow and holds (part-time) the Chair of Computer Science at the ________.
University of CambridgeUniversity of BristolUniversity of EdinburghUniversity of Oxford

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
Sapienza University of RomeUniversity of PaduaUniversity of BolognaRoma Tre University

Question 3: He was made a Fellow of the ________ in 1988 and received the ACM Turing Award in 1991.
George PorterMichael AtiyahCopley MedalRoyal Society

Question 4: He developed LCF, one of the first tools for ________.
Automated theorem provingGödel's incompleteness theoremsPropositional calculusFirst-order logic

Question 5: Milner was born in Yealmpton, near Plymouth, ________ into a military family.
EnglandUnited KingdomScotlandWales

Question 6: He was awarded a scholarship to ________ in 1947, and subsequently served in the Royal Engineers, attaining the rank of Second Lieutenant.
Wellington College, BerkshireLambrookSunningdale SchoolEton College

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.
ScotlandScottish EnlightenmentRoyal Society of EdinburghEdinburgh

Question 8: Milner is generally regarded as having made three major contributions to ________.
Computer programmingComputer scienceSoftware engineeringProgramming paradigm

Question 9: In 2004 the ________ awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale".
University of EdinburghScottish EnlightenmentScotlandRoyal Society of Edinburgh

Question 10: The language he developed for LCF, ML, was the first language with polymorphic type inference and type-safe ________.
Java (programming language)Python (programming language)Exception handlingC++







Advertisements









Got something to say? Make a comment.
Your name
Your email address
Message