Seminario - Benchmarking UAQ Solver
- il Direttore del Dipartimento di Matematica e Informatica, Prof. Orazio Muscato
- il Vice Direttore del Dipartimento di Matematica e Informatica, Prof. Salvatore Riccobene
- il Coordinatore del Dottorato in Informatica, Prof. Sebastiano Battiato
- il Presidente del Corso di Laurea in Informatica Magistrale, Prof. Dario Catalano
- il presidente del Corso di Laurea in Informatica Triennale, Prof. Filippo Stanco
Short Bio: Alessandro Armando, professore ordinario in ING-INF/05, è autore di oltre 100 pubblicazioni scientifiche nei campi del Ragionamento Automatico e della Sicurezza Informatica; insegna Computer Security e dirige il Laboratorio di Computer Security (CSec-Lab); ha fondato e diretto il Master Universitario di II Livello in "Cyber Security and Data Protection". È stato inoltre direttore del Master Universitario di I Livello in "Digital Forensics e Tecnologie Cyber" presso la Scuola delle Telecomunicazioni delle FF.AA. (STELMILIT) di Chiavari. Nel periodo 2010-2016 ha fondato e diretto l'Unità di Ricerca "Security & Trust" del Centro per le Tecnologie dell'Informazione della Fondazione Bruno Kessler (FBK-ICT) a Trento. È stato coordinatore e responsabile di unità di ricerca in diversi progetti di ricerca finanziati dalla Commissione Europea. Egli ha contribuito alla scoperta di vulnerabilità nei servizi di Google (https://www.kb.cert.org/vuls/id/612636) e nel sistema operativo Android (http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2011-3918). Attualmente coordina il PhD Program in Security, Risk and Vulnerability dell'Università di Genova. È vice-direttore del Laboratorio Nazionale di Cybersecurity del CINI e presidente del Comitato Scientifico della Fondazione SERICS (https://serics.eu)