Robin Milner
aus Wikipedia, der freien Enzyklopädie
Robin Milner (* 1934 in Plymouth) ist ein britischer Informatiker.
Nach seinem Abschluss am King’s College in Cambridge in 1956, arbeitete Milner zunächst als Schullehrer im Fach Mathematik an der Marylebone Grammar School, dann ab 1960 als Programmierer bei Ferranti, wo er sich um die Programmbibliothek des Sirius Computers kümmerte, bevor er 1963 in die Forschung eintrat, an der City University. Es folgten Forschungstätigkeiten an der University of Wales, Stanford University und seit 1973 der University of Edinburgh. Er kehrte 1995 nach Cambridge zurück, als Leiter des Computer Laboratory, von dem er sich schrittweise zurückzog, obwohl er immer noch dort beschäftigt ist.
Er wurde 1988 zum Fellow der Royal Society ernannt und erhielt 1991 den ACM Turing-Preis.
Milner erhielt den Turing-Preis für drei grosse Beiträge zur Informatik:
- Er entwickelte LCF, eines der ersten Werkzeuge zum automatischen Beweisen.
- Die Programmiersprache, die er für die Realisierung von LCF entwickelte, ML, war die erste Sprache mit polymorpher Typinferenz und typsicherer Ausnahmebehandlung.
- In einem ganz anderen Bereich entwickelte Milner eine Theorie zur Analyse nebenläufiger Systeme, den Kalkül kommunizierender Systeme (CCS) und seinen Nachfolger, den pi-Kalkül.
[Bearbeiten] Literatur
- Proof, Language, and Interaction: Essays in Honour of Robin Milner, herausgegeben von Gordon Plotkin, Colin Stirling und Mads Tofte. The MIT Press, 2000. ISBN 0-262-16188-5. Ein Milner gewidmetes Informatikbuch, welches viele Bereiche seines Werks abdeckt.
[Bearbeiten] Weblinks
- Milners Cambridge-Webpräsenz (englisch)
- Ein Interview mit Robin Milner von Martin Berger, 3. September 2003 (englisch)
- Eine Rezension von Proof, Language, and Interaction (englisch)
- Eine kurze Biographie und Rede von Robin Milner (englisch)
- Bild des Ferranti Sirius Minicomputers (englisch)
| Personendaten | |
|---|---|
| NAME | Milner, Robin |
| KURZBESCHREIBUNG | britischer Informatiker |
| GEBURTSDATUM | 1934 |
| GEBURTSORT | Plymouth |
