claudio.mancinelli@dibris.unige.it Claudio Mancinelli Assegnista di ricerca Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS Dottorando Sezione interscuola di scienze matematiche, fisiche e naturali del DIBRIS Dottorato: INFORMATICA E INGEGNERIA DEI SISTEMI Orientamento: INFORMATICA/COMPUTER SCIENCE Coordinatore: Giorgio Delzanno INF/01 – Informatica