Members‎ > ‎

Maurizio Murgia

Maurizio Murgia is a postdoctoral researcher at the Department of Mathematics and Computer Science of the University of Cagliari.

He earned a PhD in Computer Science at the University of Cagliari, supervised by Massimo Bartoletti, with a thesis entitled: "Verification of contract-oriented systems". He has been Research Associate at the University of Kent (UK), working on type systems for real time distributed programs.

His research interest includes concurrency theory, programming languages, real time systems and blockchain based systems.

Publications