!!!Robin Milner
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='Milner_Robin.jpg'  alt='Robin Milner' height='200'}]
%%
[{AcadMemberDataPlugin}]
\\ \\
\\ \\
Robin Milner passed away March 20, 2010.
\\ \\
__Positions Held__
\\ 
*2009 Scottish Informatics & Computer Science Alliance Advanced Research Fellow and (part-time) Chair of Computer Science at the University of Edinburgh
*1995 Head of the Computer Laboratory, University of Cambridge
*2009 SICSA Advanced Research Fellow and part-time Chair of Computer Science at the University of Edinburgh
\\
__Fields of Scholarship__
*Programming languages
*Program verification
*Logic for computable functions 
*Metalanguages for proof tactics
*Calculus of communicating systems 
\\
__Honours and Awards__
*1988 Fellow of the Royal Society
*1988 Member of Academia Europaea 
*1991 ACM Turing Award
*1994 Fellow of the ACM
*2004 Royal Medal  of  the Royal Society of Edinburgh
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae and Obituary |User/Milner_Robin/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Milner_Robin/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
-->[Highlights of work and anecdotes|User/Milner_Robin/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
-->[Other information|User/Milner_Robin/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit rmilner}]
[{ALLOW upload rmilner}]

[{ALLOW comment All}]