Blockchain Decentralized Systems

Research Frontiers in Smart Contract Language Design and Semantics

Development of domain-specific languages with formal semantics and type systems enabling safer smart contract development.

All Blockchain & Decentralized Systems PhD categories