Suggestions
Bill Roscoe
Professor at Oxford University
Bill Roscoe, an accomplished expert in formal and automated verification, concurrent systems, cryptographic protocols, and computer security, is renowned for his contributions through authored books, papers, and patents in these domains. He held the prestigious role of the Head of Oxford University Computer Science Department from 2003 to 2014. Roscoe's educational background includes a DPhil in Computer Science and a BA in Mathematics, both from the University of Oxford. Currently, he is deeply involved in cutting-edge research on the application of blockchain technology, particularly exploring its potential in ethical contexts. He serves as the Director at the University College Oxford Blockchain Research Centre and previously held the position of Professor at Oxford University.