Posizione Attuale
Membro del gruppo di ricerca
MCLab 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
SCAPR - Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto
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 2018
