CURRICULUM VITAE DI GIUSEPPE SORACE ========================= Ufficio: Dipartimento di Matematica e Informatica Città Universitaria, viale A. Doria 6 95125 CATANIA Telefono: 095-7383053 E - mail: sorace@dmi.unict.it Studi Laurea in Matematica, Università di Catania, 8 Luglio 1976; votazione: 110 e lode; titolo della tesi: Algebre di Boole, Algebre Cilindriche, Algebre Poliadiche ; relatore: prof. Giovanni Dantoni. Corso estivo di matematica presso la Scuola Matematica Interuniversitaria, Perugia, luglio - agosto 1976; corsi seguiti: Informatica, Ricerca operativa. Corsi di dottorato in Computer Science, New York University; Settembre 1984 - Giugno 1986 (interrotti per gravi motivi di salute); argomenti dei corsi seguiti: strutture dati, algoritmi fondamentali, teoria della computabilità, algebra lineare, linguaggi di programmazione; votazioni finali: A. Borse di studio Borsa CNR per laureandi, Settembre 1975 - Agosto 1976; direzione degli studi: prof. Giovanni Dantoni. Borsa CNR per laureati, Ottobre 1976 - Settembre 1978; direzione degli studi: prof. Giovanni Dantoni. Borsa CNR per l estero, Settembre 1984 - Giugno 1986; direzione degli studi: prof. Martin Davis (New York University). 1
Premi Premio Boscarino quale miglior studente di matematica dell Università di Catania per il biennio 1974-1976. Posizione accademica 1 Ottobre 1978-31 Ottobre 1981 : assistente supplente presso la Cattedra di Matematiche Superiori dell Università di Catania; 1 Novembre 1981 20 Aprile 1999: ricercatore confermato presso la Facoltà di Scienze MM. FF. NN. dell Università di Catania, settore disciplinare A01A; 21 Aprile 1999 31 Ottobre 2007: ricercatore confermato presso la Facoltà di Scienze MM. FF. NN. dell Università di Catania, settore disciplinare INF/01; 1 Novembre 2007 31 Marzo 2012: ricercatore confermato presso la Facoltà di Scienze della Formazione dell Università di Catania, settore disciplinare INF/01. Attualmente: ricercatore confermato presso il Dipartimento di Matematica e Informatica dell Università di Catania, settore disciplinare INF/01. Cariche accademiche 1 Novembre 1990 31 Ottobre 1995: membro del Senato Accademico Integrato dell Università di Catania. 1 Novembre 1996 31 Ottobre 1999: membro del Senato Accademico dell Università di Catania. Attività didattica: corsi universitari AA. AA. 1977-78, 1978-79, 1979-80 : Esercitazioni di Matematiche Superiori (corso di Laurea in Matematica); AA. AA. 1981-82, 1982-83, 1983-84 : Esercitazioni di Geometria II (corso di Laurea in Matematica); AA. AA. 1986-87, 1987-88, 1988-89, 1989-90 : Esercitazioni di Teoria ed Applicazioni delle Macchine Calcolatrici (corso di Laurea in Matematica); AA. AA. 1990-91, 1991-92 : Esercitazioni di Teoria ed Applicazioni delle Macchine Calcolatrici (corso di Laurea in Matematica e corso di Laurea in Scienze dell Informazione); A. A. 1992-93 : Esercitazioni di Sistemi per l Elaborazione dell Informazione I (corso di Laurea in Scienze dell Informazione); 2
A. A. 1993-94 : Esercitazioni di Teoria ed Applicazioni delle Macchine Calcolatrici (corso di Laurea in Matematica e corso di Laurea in Scienze dell Informazione); A. A. 1994-95 : Esercitazioni di Teoria ed Applicazioni delle Macchine Calcolatrici (corso di Laurea in Matematica e corso di Laurea in Scienze dell Informazione); A. A. 1995-96 : Laboratorio di Informatica I (corso di Laurea in Informatica); Sistemi per l Elaborazione dell Informazione II (corso di Laurea in Scienze dell Informazione); AA. AA. 1996-97, 1997-98 : Laboratorio di Informatica I (corso di Laurea in Informatica); Laboratorio di Informatica II (corso di Laurea in Informatica); A. A. 1998-99 : Logica matematica (corso di Laurea in Informatica); AA. AA. 1999-2000, 2000-2001 : Teoria ed Applicazioni delle Macchine Calcolatrici (corso di laurea in Matematica); Logica matematica(corso di Laurea in Informatica); A. A. 2001-2002 : Formazione Logica (corso di Laurea in Informatica); Informatica (corso di Laurea in Scienze della Comunicazione e corso di laurea in Lettere); A. A. 2002-2003, 2003-2004 : Formazione Logica (corso di Laurea in Informatica); 3
A. A. 2004-2005 : Formazione Logica (corso di Laurea in Informatica Applicata, Comiso); A. A. 2005-2006 : Formazione Logica (corso di Laurea in Informatica Applicata, Comiso); A. A. 2006-2007 : Fondamenti di Informatica (corso di Laurea specialistica in Matematica); A. A. 2007-2008 : A. A. 2008-2009 : A. A. 2009-2010 : Informatica (corso di Laurea in Scienze Educative per l Infanzia); A. A. 2010-2011 : Reti e multimedialità (corso di Laurea specialistica in Progett. e gest. Turismo culturale); Intelligenza artificiale (corso di Laurea magistrale in Psicologia); A. A. 2011-2012 : Idoneità di 4
Attività didattica per corsi di formazione presso enti pubblici o privati 1. Corso di Introduzione alla Programmazione in ambiente UNIX, presso CSATI (Ct). 2. Corso di preparazione per esami di concorso per l insegnamento della matematica nella scuola, presso CSATI (Ct). 3. Corsi di Introduzione all Informatica e di Programmazione in Pascal, presso IBM SEMEA (Ct) e Consorzio Archimede (Ct). 4. Corso FSE (Fondo Sociale Europeo) di Programmazione in Pascal tenuto ad Aidone (En). 5. Corso FSE di Database tenuto presso la Facoltà di Scienze della Formazione dell Università di Catania. 6. Corso FSE di Informatica nell ambito del Master dell Università di Catania in Formazione di mediatori culturali. 7. Corso FSE di Informatica nell ambito del Master dell Università di Catania in Formazione di manager della moda e dello spettacolo. Campi di interesse Deduzione automatica in teoria degli insiemi. Logica fuzzy. Algoritmi genetici. Pubblicazioni Sopra una certa varietà di algebre con due operazioni binarie ed una unaria, Le Matematiche, vol. XXXIII: 18-25, 1978. Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of (x) = { {y} y x}., Comm. Pure Appl. Math., vol. XL: 37-77, 1987 (in collaborazione con D. Cantone, A. Ferro, B. Micale). A note on extending decision algorithms by stable predicates, First Catania's Workshop on Artificial Intelligence, Le Matematiche, vol. XLIII: 297-302, 1988 (in collaborazione con A. Ferro, J. T. Schwartz). Corso on-line su programmazione e strutture di dati in Pascal, Atti del convegno Didamatica 90, 1990. On the computational complexity of computing fuzzy rationality degrees, Proceedings of IPMU 96, 1996, (in collaborazione con V. Cutello e J. Montero). Combining fuzzy sets and genetic algorithms for improving strategies in game playing, Problems in Applied Mathematics and Computational intelligence, 149-152, Editor: N. Mastorakis; WSES Press, 2001, (in collaborazione con V. Cutello e A. Cincotti). Optimizing game strategies using genetic algorithms in a multi-coach framework, Advances in Scientific Computing, Computational intelligence and applications, 409-412, Editors: N. Mastorakis, V. Mladenov, B. Sutor, L. J. Wang; WSES Press, 2001, (in collaborazione con V. Cutello e A. Cincotti). 5
SPEED: a simple parameterized environment for evolutionary defuzzification, Advances in Intelligent Systems, Fuzzy Systems, Evolutionary Computation, 114-117, Editors: A. Grmela, N. Mastorakis, WSEAS Press, 2002, (in collaborazione con V. Cutello e A. Cincotti). Mirror strategy in game playing: combining fuzzy sets and genetic algorithms to improve strategies, Computational Intelligent Systems for Applied Research, 105 112, Editors: D. Ruan, P. D hondt, E. E. Kerre, World Scientific, 2002, (in collaborazione con V. Cutello e A. Cincotti). How to escape traps using clonal selection algorithms, Proceedings ICINCO 2004, 322-326 (in collaborazione con V. Cutello, G. Narzisi, G. Nicosia e M. Pavone). 6