-
for blockchain-based systems. Develop mathematical and computational models for simulating and analysing various economic properties of blockchain-based systems. Design and evaluate token economies and governance
-
specific protocols and rules. We employ sophisticated data analytics and targeted modelling to uncover the fundamental mechanisms driving these emergent properties. Core Research Areas Blockchain Analytics
-
data analytics and targeted modelling to uncover the fundamental mechanisms driving these emergent properties. Core Research Areas Blockchain Analytics Cryptoeconomics and Incentive Design Consensus
Searches related to model checking
Enter an email to receive alerts for model-checking positions