2011. Postdoctoral research fellow at IIT-CNR, Pisa.
2011. PhD in Computer Science from the University of Pisa.
M.Sc. (2007) and B.Sc. (2005) in Computer Science, cum laude, from University of Pisa.
Research Interests
Formal methods, with applications to Systems Biology and Security
Programming languages and semantics
Membrane and natural computing
Biological modelling and simulation
Contact Information
Dipartimento di Informatica - Università di Pisa E-mail: pardinig@di.unipi.it Phone: +39 050 221 2737 For complete contact details look at the Contact page.