Giovanni Michele Pinna

G. Michele Pinna is Associate Professor at the Department of Mathematics and Computer Science of the University of Cagliari. He got a PhD in Computer Science at the University of Pisa in 1990, with a thesis entitled "Petri nets and their composition problems", and he has been research fellow of the GMD (Gesellschaft für Mathematik un Datenverarbeitung, now Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung) from 1991 to 1993, Assistant Professor at the University of Siena from 1993 to 2001 and Associate Professor at the University of Siena from 2001 to 2004.

The research activity of G. Michele Pinna focuses on Petri nets, concurrency theory, verification of synchronous programming, temporal logic, fuzzy logic, business process management and membrane computing.

He has been director of the PhD School in Computer Science of the University of Cagliari, and he is currently the coordinator of the Bachelor and Master curricula in Computer Science.