!Bill Roscoe
!Short laudatio by Tony Hoare
\\
Bill Roscoe has been a leading world authority on CSP for twenty five years: famed for two substantial
monographs and an innovative event-based industrial-strength model-checking
tool FDR. He has created Timed CSP with G.M. Reed.
\\ \\
Computer security: models of noninterference, and model-checking-based
proof of cryptographic protocols, leading to a new generation of cryptographic protocols for ad hoc networks.
\\ \\
Bill Roscoe is a long-term chairman of one of the top CS departments in the EU, overseeing major diversification and expansion.
----

!Any further pages in alphabetic order of their title as created by you.\\

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".\\
[{CategoryIndexPlugin category='User/Roscoe_Andrew/OtherInformation'}]