Ph.D. in Ingegneria Informatica E Dei Sistemi , 27th cycle (2012-2014) Ph.D. obtained in 2015 Dissertation: Tecniche avanzate per la soluzione di problemi complessi attraverso algoritmi evolutivi. Tutors: Giovanni Squillero Teaching Teachings Bachelor of Science Tecniche di programmazione. A.A. 2013/14, INGEGNERIA GESTIONALE. Collaboratore del corso Tecniche di programmazione. A.A. 2014/15, INGEGNERIA GESTIONALE. Collaboratore del corso Tecniche di programmazione. A.A. 2012/13, INGEGNERIA GESTIONALE. Collaboratore del corso Computer sciences. A.A. 2011/12, INGEGNERIA DELL'AUTOVEICOLO (AUTOMOTIVE ENGINEERING). Collaboratore del corso MostraNascondi A.A. passati Publications Works published during the Ph.D. View all publications in Porto@Iris DI CARLO, Stefano; Gaudesi, Marco; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo (2014)A Functional Approach for Testing the Reorder Buffer Memory. In: JOURNAL OF ELECTRONIC TESTING, vol. 30, pp. 469-481. ISSN 0923-8174 Contributo su Rivista