
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 2018 | Author of Mechanising Blockchain Consensus within the CPP 2018-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile