Robin Milner
Arthur John Robin Gorell Milner (13. tammikuuta 1934 Plymouth, Englanti – 20. maaliskuuta 2010 Cambridge, Englanti) oli brittiläinen tietojenkäsittelytieteilijä. Milner sai vuonna 1991 Turing-palkinnon työstään, johon kuului kolme merkittävää saavutusta. Hän kehitti LCF-työkalun (Logic of Computable Functions), joka on koneavusteinen työkalu väitteen todisteen muodostamiseen. Hän kehitti ML-kielen polymorfisuudella ja tyyppipäättelyllä sekä tyyppiturvallisella poikkeuskäsittelyllä. Hän kehitti yleisen teorian yhtäaikaisuudelle.[1]
Royal Society Milner Award ja ACM SIGPLAN Robin Milner Young Researcher Award ovat nimetty hänen mukaansa.[2][3]
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ Arthur John Robin Gorell ("Robin") Milner amturing.acm.org. Viitattu 9.4.2026. (englanniksi)
- ↑ Milner Award and Lecture royalsociety.org. Viitattu 9.4.2026. (englanniksi)
- ↑ Robin Milner Young Researcher Award sigplan.org. Viitattu 9.4.2026. (englanniksi)
| Kansainväliset | |
|---|---|
| Kansalliset | |
| Tieteilijät | |
| Henkilöt | |
| Muut | |
