I am Giovanna Broccia, a PhD Student in Computer Science at the University of Pisa and member of the research group Modelling, Simulation and Verification of Biological System.

I obtained a Bachelor’s Degree in European Literature for Publishing and Cultural Production in 2011 and the Master’s Degree in Digital Humanities in 2015.

During the last years, the interest in scientific reasoning and computer science field increased by making me very passionate about the current challenges which are faced by this research field.

My interests lie in the field of Human-Computer Interaction, Modelling and Verification of Cognitive Systems, Formal Methods and Term Rewriting Systems.

Here you can find my CV!