Partner Event - Re-inventing the blockchain About this Event They will describe some new algorithms and data structures with the aim of making blockchains more scientifically based as well as destroying the separation between public and coalition chains. This work is based inter alia on a model of stochastic proof, CSP modelling and the model checking of protocols. Speaker Bio Bill Roscoe was a student of Tony Hoare 1978-82 and has been an academic at Oxford ever since. Much of his career has been centred on the theory and applications of the process algebra CSP. He led the development of the FDR model checker. These applications have included occam and the transputer and systems development. He was head of the computer science department at Oxford 2003-2014. Since 2017 he has headed a blockchain research centre at University College, Oxford as well as developing spin-out companies. Apr 11 2023 11.00 - 12.00 Partner Event - Re-inventing the blockchain Join Huawei for their next tech talk Re-inventing the blockchain, taking place on 11th of April. Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, UK Where (Virtually)：https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/96958492 Registration
Partner Event - Re-inventing the blockchain About this Event They will describe some new algorithms and data structures with the aim of making blockchains more scientifically based as well as destroying the separation between public and coalition chains. This work is based inter alia on a model of stochastic proof, CSP modelling and the model checking of protocols. Speaker Bio Bill Roscoe was a student of Tony Hoare 1978-82 and has been an academic at Oxford ever since. Much of his career has been centred on the theory and applications of the process algebra CSP. He led the development of the FDR model checker. These applications have included occam and the transputer and systems development. He was head of the computer science department at Oxford 2003-2014. Since 2017 he has headed a blockchain research centre at University College, Oxford as well as developing spin-out companies. Apr 11 2023 11.00 - 12.00 Partner Event - Re-inventing the blockchain Join Huawei for their next tech talk Re-inventing the blockchain, taking place on 11th of April. Where (Physically) : Coffee House, 4/F, Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, UK Where (Virtually)：https://meeting.huaweicloud.com/welink/webrtc/?lang=en-US#/j/96958492 Registration
Apr 11 2023 11.00 - 12.00 Partner Event - Re-inventing the blockchain Join Huawei for their next tech talk Re-inventing the blockchain, taking place on 11th of April.
