gabriele.bortolai@edu.unige.it Gabriele Bortolai Dottorando Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS Sezione interscuola di scienze matematiche, fisiche e naturali del DIBRIS Settore professionale: XXXIX CICLO Dottorato: INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING Orientamento: INFORMATICA/COMPUTER SCIENCE Coordinatore: Giorgio Delzanno Curriculum Curriculum Vitae (English)