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".
...no Data available yet!