Members‎ > ‎

Maurizio Murgia

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

Maurizio Murgia is a second year PhD student at the Department of Mathematics and Informatics of the University of Cagliari, supervised by Massimo Bartoletti.

His research interest includes formal methods, contract oriented computing, session types, rewriting logic and timed systems.

Publications