Presso la sede di lavoro:
Dipartimento di Sistemi e InformaticaPiano 1 Stanza 160
Viale Morgagni 6550134 Firenze
Lunedì ore 10:00
Mercoledì ore 10:00
Il ricevimento manterrà tale orario durante il periodo delle lezioni. Negli altri periodi su appuntamento via mail.
- Maturità Scientifica presso il Liceo Scientifico Statale “G. Galilei” di Siena nell’anno 1991. - Laurea in Matematica presso l’Università degli Studi di Siena con lode il 10 dicembre 1996 con la tesi dal titolo "Gerarchie di insiemi nello spazio di Cantor", relatore Prof. A. Sorbi. - Dottorato di Ricerca in "Logica ed Informatica Teorica" presso il Dipartimento di Matematica dell'Università degli Studi di Siena.
- Ricercatore in Informatica (INF/01) (Facoltà di Psicologia) afferente al Dipartimento di Matematica e Informatica dell’Università di Firenze.
Ricercatore in Informatica (INF/01) (Facoltà di Psicologia) afferente al Dipartimento di Sistemi e Informatica dell’Università di Firenze.
- Progetto MPI/Murst 40% "Linguaggi formali e automi: metodi, modelli e applicazioni" (Responsabile nazionale Prof. A. Restivo, anni 2003-2004) all’ interno dell'unità di Siena "Metodi per la tomografia discreta e la bio-informatica" (Responsabile locale Prof. E. Lodi) - Progetto di Ricerca Scientifica di Ateneo dell’Università degli Studi di Siena (anno 2003), “Metodologie per la enumerazione e la generazione di strutture discrete” - Progetto MPI/Murst 40% "Automi e linguaggi formali: aspetti matematici ed applicativi" (Responsabile nazionale Prof. A. Restivo, anni 2006-2007) all’interno dell'unità di Firenze (Responsabile locale Prof. R. Pinzani). Progetto MPI/Murst 40% “Aspetti matematici e applicazioni emergenti degli automi e dei linguaggi formali” (Responsabile nazionale Prof. A. Restivo, anni 2008-2009) all’interno dell'unità di Firenze (Responsabile locale Prof. R. Pinzani). Progetto di ricerca: “Le reti di solidarietà contro il bullismo nel mondo reale e virtuale”, intervento nell’ambito del protocollo di intesa tra Provincia di Lucca ed i Dipartimenti di Psicologia e Sistemi ed Informatica –Università degli Studi di Firenze (Responsabile del progetto: Prof.ssa Ersilia Menesini, anno 2009). Progetto MPI/Murst 40% “Automi e linguaggi formali: Aspetti matematici e applicativi” (Responsabile nazionale Prof. A. Restivo, anni 2012-2014) all’interno dell'unità di Firenze (Responsabile locale Prof. E. Barcucci). Progetto GNCS 2012: “Proprietà algebriche e combinatorie dei cammini discreti” – Coordinatore: Prof. Luca Ferrari - Progetto GNCS 2013: “Problemi di decomponibilità per strutture discrete” – Coordinatore: Dr. Andrea Frosini - Progetto GNCS 2014: “Studio di pattern in strutture combinatorie” – Coordinatore: Prof. Luca Ferrari
- "Discrete Tomography Workshop: Algorithms and Applications", (Organizing Commitee) Siena - Certosa di Pontignano, 2000. - "IWCIA: International Workshop on Combinatorial Image Analysis - 2003" (Scientific Secretariat) Palermo 14-16 Maggio 2003. - "Algebra e Informatica Teorica, III" (Scientific Secretariat) Siena 6-7 luglio 2004. - "Computability in Hierarchies and Topological Spaces" (Organizing Commitee) Siena 19-23 Luglio 2004. - "PSI (Proteomics Standard Initiative) meeting" (Local Organizing Commitee) Siena 24-27 Aprile 2005. - "GASCOM ’08 - Génération Aléatoire de Structures Combinatoires" (Organizing Commitee) Bibbiena (AR) 16-20 Giugno 2008 - Lattice Path Combinatorics and Applications 2010 , (Organizing Commitee) Siena, 4-7 Luglio 2010 - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 20-21 Maggio 2013. - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 7-9 Maggio 2014 - Discrete Geometry and Computational Imagery (DGCI 2014) Siena 10-12 Settembre 2014 (Chair) - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 2015 - Meeting on Tomography and Applications - Discrete Tomography and Image Reconstruction (Scientific Director) Milano 2016 - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 2017
- Pure Mathematics and Applications, numero 5, fascicolo IV (2004) (in memoria del Prof. Jeno Szep) - Pure Mathematics and Applications, numero 20, fascicolo I-II (2009) (proceedings “3th Meeting on Tomography and Applications” Milano 2009) - Fundamenta Informaticae, numero 125 (2013) (proceedings “4th Meeting on Tomography and Applications” Milano 2012) - Fundamenta Informaticae, numero 135 (2014) (proceedings “5th Meeting on Tomography and Applications” Milano 2013) - Lecture Notes in Computer Science (LNCS), Vol. 8668 (2014) (proceedings “Discrete Geometry for Computer Imagery (DGCI) 2014” Siena 2014) - Theoretical Computer Science, (in progress, expected issue in 2015) (special issue on “Discrete Geometry for Computer Imagery”) -Fundamenta Informaticae, 141 (2015) (proceedings “6th Meeting on Tomography and Applications” Milano 2014) - Fundamenta Informaticae, 146 (2016) (proceedings “7th Meeting on Tomography and Applications” Milano 2015) - Fundamenta Informaticae, 155 (2017) (proceedings “8th Meeting on Tomography and Applications” Milano 2016)
- Discrete Tomography
- Algebraic and Enumerative Combinatorics
- Combinatorial Tiling Problems
- Exhaustive Generation of Combinatorial Objects
Legenda
- Maturità Scientifica - Liceo Scientifico “G. Galilei” in Siena (1991) - Laurea in Matematica University of Siena cum laude on Dec 10th 1996
Thesis: "Gerarchie di insiemi nello spazio di Cantor", supervisor Prof. A. Sorbi. - Ph.D. in "Logics and computer science" Department of Mathematics - University of Siena.
- Researcher in Computer Science (INF/01) Department of Mathematics and Computer Science - University of Firenze.
- MPI/Murst 40% "Formal Languages and Automata: methods, models and applications" (National Chair Prof. A. Restivo, 2003-2004) - MPI/Murst 40% "Automata and Formal Languages: mathematical issues and applications" (National Chair Prof. A. Restivo, 2006-2007) - MPI/Murst 40% “Matematical aspects and incoming applications about automata and formal languages” (National chair Prof. A. Restivo, 2008-2009) - Project “Solidarity networks against bullism in real and virtual world”, Official sponsors: Provincia of Lucca, Department of Psychology and Department of Informatics of the University of Firenze. (Chair: Prof.ssa Ersilia Menesini, 2009). - MPI/Murst 40% “Auromata and formal languages: Mathematical aspects and applications” (National chair: Prof. A. Restivo, 2012-2014) - GNCS 2012: “Algebraic and combinatorial properties of discrete paths” – Chair: Prof. Luca Ferrari - GNCS 2013: “Decomposability problems for discrete structures” – Chair: Dr. Andrea Frosini - GNCS 2014: “Study of patterns in combinatorial structures” – Chair: Prof. Luca Ferrari
Meetings' organization:
- "Discrete Tomography Workshop: Algorithms and Applications", (Organizing Commitee) Siena - Certosa of Pontignano, 2000. - "IWCIA: International Workshop on Combinatorial Image Analysis - 2003" (Scientific Secretariat) Palermo 14-16 Maggio 2003. - "Algebra e Informatica Teorica, III" (Scientific Secretariat) Siena 6-7 July 2004. - "Computability in Hierarchies and Topological Spaces" (Organizing Commitee) Siena 19-23 July 2004. - "PSI (Proteomics Standard Initiative) meeting" (Local Organizing Commitee) Siena 24-27 April 2005. - "GASCOM ’08 - Génération Aléatoire de Structures Combinatoires" (Organizing Commitee) Bibbiena (AR) 16-20 June 2008 - Lattice Path Combinatorics and Applications 2010 , (Organizing Commitee) Siena, 4-7 July 2010 - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 20-21 May 2013. - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 7-9 May 2014 - Discrete Geometry and Computational Imagery (DGCI 2014) Siena 10-12 September 2014 (Chair) - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 2015- - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 2016 - Meeting on Tomography and Applications – Discrete Tomography and Image Reconstruction (Scientific Director) Milano 2017
- Pure Mathematics and Applications, 5 (IV), (2004) (in memoriam of Prof. Jeno Szep) - Pure Mathematics and Applications, 20 (I-II), (2009) (proceedings “3th Meeting on Tomography and Applications” Milano 2009) - Fundamenta Informaticae, 125 (2013) (proceedings “4th Meeting on Tomography and Applications” Milano 2012) - Fundamenta Informaticae, 135 (2014) (proceedings “5th Meeting on Tomography and Applications” Milano 2013) - Fundamenta Informaticae, 141 (2015) (proceedings “6th Meeting on Tomography and Applications” Milano 2014) - Lecture Notes in Computer Science (LNCS), Vol. 8668 (2014) (proceedings “Discrete Geometry for Computer Imagery (DGCI) 2014” Siena 2014) - Theoretical Computer Science, (volume 624 - 2016) (special issue on “Discrete Geometry for Computer Imagery”) -Fundamenta Informaticae, 146 (2016) (proceedings “7th Meeting on Tomography and Applications” Milano 2015) -Fundamenta Informaticae, 155 (2017) (proceedings “8th Meeting on Tomography and Applications” Milano 2015)
Research lines: