Maurizio Murgia

maurizio (dot) murgia (at) unica (dot) it

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), where he worked on types and calculi for real-time distributed systems.

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