Settembre 2015 – Oggi Figura ricoperta Research Fellow Datore di lavoro Sussex University Luogo Brighton, UK Principali attività e responsabilità Research topic: Scalable Nonparametric Methods for Bioimage Analysis. Currently working on a novel, complex machine learning algorithm for structured prediction through variational inference. Coding in python, making of course large use of numpy and using numba and cython to speed up certain parts of the code.

Aprile 2014 – Settembre 2014 Figura ricoperta IT Technician Datore di lavoro Studio Davoli SRL Luogo Bologna Principali attività e responsabilità Installed and troubleshot software, printers; replaced and configured machines. 

Ottobre 2014 – Aprile 2014 Figura ricoperta Postdoctoral Researcher Datore di lavoro Clausthal University Luogo Clausthal, Germany Principali attività e responsabilità NOTE: left the position early because of a family emergency in Italy. Gave talks in academic conferences, wrote papers for academic journals. Helped teach a course on logics for multi-agent systems.

Novembre 2012 – Giugno 2013 Figura ricoperta Postdoctoral Researcher Datore di lavoro University of Helsinki Luogo Helsinki, Finland Principali attività e responsabilità Wrote academic papers (mostly concerning certain extensions of classical logic and their possible use to represent uncertain information and its evolution). Gave talks at various conferences. Taught a course on Finite Model Theory (a mathematical topic with deep connections with databases).

Istruzione e Formazione

Settembre 2015 Titolo della qualifica rilasciata MSc in Evolutionary and Adaptive Systems Istituto di istruzione o formazione Sussex University Luogo Brighton, UK Principali tematiche / competenze professionali acquisite Perfected my programming expertise (using mostly Python and Matlab, plus some Java), focusing on machine learning applications while indulging my personal interest in biology. Courses taken: machine learning, neural networks, advanced software engineering, genetic algorithms, generative creativity, artificial life, intelligence in animals and machines, computational neuroscience, adaptive systems. The final project concerned the development and implementation (in Python + SQL) of an adaptive similarity measure over Gene Ontology annotations, with the purpose of predicting protein/protein interactions.

Settembre 2012 Titolo della qualifica rilasciata PhD in Mathematical Logic Istituto di istruzione o formazione University of Amsterdam Luogo Amsterdam, The Netherlands Principali tematiche / competenze professionali acquisite Studied certain extensions of classical logic (called "logics of dependence and independence", or "logics of imperfect information") that have deep connections with database theory and show promise for the representation of the evolution of uncertain knowledge. Obtained vast experience in English academic writing, as well as in giving talks at academic conferences. Helped teach various (math) courses. Thesis title: the dynamics of imperfect information.

Settembre 2008 Titolo della qualifica rilasciata MSc in Mathematical Logic Istituto di istruzione o formazione University of Amsterdam Luogo Amsterdam, The Netherlands

Luglio 2005 Titolo della qualifica rilasciata Laurea Triennale in Matematica Istituto di istruzione o formazione Università degli studi di Bologna Luogo Bologna

Luglio 2005 Titolo della qualifica rilasciata Licenza del Collegio Superiore Istituto di istruzione o formazione Università degli Studi di Bologna Luogo Bologna

Conoscenze linguistiche

Lingua Italiano Capacità di lettura/scrittura Madrelingua Capacità di espressione orale Madrelingua

Lingua Inglese Capacità di lettura/scrittura Ottimo Capacità di espressione orale Ottimo Note I lived, studied and worked abroad in the latest 10 years, giving numerous talks at academic conferences and publishing papers in academic journals.

Conoscenze informatiche

Very good knowledge of Python (Numpy, Cython, Numba, Matplotlib, Scikit-Learn);

Significant Machine Learning expertise;

Good knowledge of Matlab/Octave, Java, C, SQL;

Good knowledge of Git, aws;

Some experience with Theano;

Extensive mathematical expertise;

Vast experience in English scientific writing, LaTeX editing.