Francesco Davì


Post-Doc
Dipartimento di Informatica
Sapienza Università di Roma
email:

English web page

Curriculum


Titoli di studio   | Progetti   |   Pubblicazioni   |   Scuole e periodi all'estero   |   Conferenze e workshop   |   Attività didattica   |   Documenti

Posizione Attuale

  • Assegno di ricerca (Post-Doc) presso il Dipartimento di Informatica, Sapienza Università di Roma.

    Titoli di studio

  • Marzo 2012: Dottorato di Ricerca in Informatica, presso il Dipartimento di Informatica della Facoltà di Scienze Matematiche, Fisiche e Naturali, Sapienza Università di Roma. Titolo della tesi di dottorato: "Input-shrinking functions: theory and application". Advisor: Dr. Stefan Dziembowski
  • Luglio 2007: Laurea in Informatica (quinquennale) con 110/110 e lode, presso il Dipartimento di Informatica della Facoltà di Scienze Matematiche, Fisiche e Naturali, Sapienza Università di Roma. Titolo della tesi di laurea "Cammini Hamiltoniani strutturalmente diversi". Relatore: Prof. János Körner

    Progetti

  • SmartHG - Energy Demand Aware Open Services for Smart Grid Intelligent Automation
  • PAEON - Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases

    Pubblicazioni

  • Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann Krüger, Marcel Egli, Fabian Ille: "Patient-Specific Models from Inter-Patient Biological Models and Clinical Records", in Proceedings of 14th Conference in Formal Methods in Computer-Aided Design (FMCAD 2014), Lausanne, Switzerland, 2014   Link   Bibtex
  • Francesco Davì, Stefan Dziembowski and Daniele Venturi: "Leakage-Resilient Storage" in 7th Conference on Security and Cryptography for Networks (SCN 2010), Amalfi, Italy, 2010   Link   Bibtex

    Scuole e periodi all'estero

  • Visita per ricerca scientifica: "Cryptography and Data Security Group", "Uniwersytet Warszawski", Varsavia, maggio - luglio 2011
  • Summer School On Provable Security, Barcellona, 7-11 settembre 2009
  • Bertinoro international Spring School (BiSS 2009), Bertinoro, 2-6 marzo 2009
  • (Pre)Doc-Course on: Random and Quasirandom Graphs, Humboldt-Universität, Berlino, 5 maggio - 27 giugno 2008

    Conferenze e Workshop

  • Seventh Conference on Security and Cryptography for Networks (SCN 2010), Amalfi, 13-15 settembre 2010
  • Workshop on Provable Security against Physical Attacks, Leiden, 15-19 febbraio 2010
  • Theory of Cryptography Conference (TCC 2010), Zurigo, 9-11 febbraio 2010
  • Berlin-Poznan Seminar / ASZ Workshop 2008, Humboldt-Universität, Berlino, 20-21 giugno 2008

    Attività didattica

  • Anno accademico 2012/2013: Esercitatore del corso "Matematica I" (Prof. Guido Gentile), per il corso di laurea triennale di Scienze Geologiche del Dipartimento di Geologia dell'Università di Roma Tre
  • Anno accademico 2008/2009: Esercitatore del corso "Metodi matematici per l'informatica" (Prof.ssa Anna Labella), per il corso di laurea triennale di Informatica del Dipartimento di Informatica della Sapienza Università di Roma

    Documenti

  • Tesi di dottorato (in inglese, PDF)
  • Presentazione finale di dottorato (in inglese, PPTX)
  • Presentazione a SCN 2010 (in inglese, PPT)
  • Esercitazioni di Matematica I, a.a. 2012/2013, Scienze Geologiche, Roma Tre (TAR.GZ)
  • Esercitazioni di Metodi matematici per l'informatica, a.a. 2008/2009, Informatica, Sapienza Università di Roma (TAR.GZ)

    Ultimo aggiornamento: ottobre 2016