George Pîrlea

Registered user since Wed 6 Dec 2017

Name: George Pîrlea

Country: United Kingdom

Affiliation: University College London

Personal website: http://pirlea.net

Research interests: Formal verification, Distributed systems, Anonymity and privacy, Blockchains

Contributions

CPP 2018Author of Mechanising Blockchain Consensus within the CPP 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile