Blockchain Decentralized Systems

Research Frontiers in Blockchain Smart Contract Formal Semantics

Development of formal semantic frameworks for precisely defining and reasoning about smart contract behavior and correctness.

All Blockchain & Decentralized Systems PhD categories