Robin Milner

Robin Milner MEMBERS

Chair of Computer Science, University of Edinburgh

Yealmpton, United Kingdom

Chair of Computer Science| University of Edinburgh

Address

Yealmpton, United Kingdom

More Info

Election Year 2000
Primary Class Computer Science and Information Technology (C.S.E)

More Info

Election Year 2000
Primary Class Computer Science and Information Technology (C.S.E)

More Info

Election Year 2000
Primary Class Computer Science and Information Technology (C.S.E)

Election Remark

An influential figure in computer science, Robin Milner's work in automated theorem proving, the development of the LCF theorem prover, and the design of the ML programming language, has greatly influenced the fields of programming language design and functional programming.

In 2000, he was elected as member of the European Academy of Engineering