GIUSEPPE SORACE - Facoltà di Scienze della Formazione

CURRICULUM VITAE
DI
GIUSEPPE SORACE
=========================
Ufficio: Dipartimento di Matematica e Informatica
Città Universitaria, viale A. Doria 6
95125 CATANIA
Telefono: 095-7383053
E - mail: [email protected]
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);
Informatica (corso di Laurea in Scienze dell’Educazione);
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);
Informatica (corso di Laurea in Scienze dell’Educazione);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
AA. AA. 1996-97, 1997-98 :
Laboratorio di Informatica I (corso di Laurea in Informatica);
Laboratorio di Informatica II (corso di Laurea in Informatica);
Informatica (corso di Laurea in Scienze dell’Educazione);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
A. A. 1998-99 :
Logica matematica (corso di Laurea in Informatica);
Informatica (corso di Laurea in Scienze dell’Educazione);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
AA. AA. 1999-2000, 2000-2001 :
Teoria ed Applicazioni delle Macchine Calcolatrici (corso di laurea in Matematica);
Logica matematica(corso di Laurea in Informatica);
Informatica (corso di Laurea in Scienze dell’Educazione);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
A. A. 2001-2002 :
Informatica (corsi di Laurea in Matematica ed in Matematica per le Applicazioni);
Formazione Logica (corso di Laurea in Informatica);
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Informatica (corso di Laurea in Formazione di Operatori Turistici, P. Armerina);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecniche Psicologiche, Enna);
Informatica (corso di Laurea in Scienze della Comunicazione e corso di laurea in Lettere);
A. A. 2002-2003, 2003-2004 :
Informatica (corsi di Laurea in Matematica ed in Matematica per le Applicazioni);
Formazione Logica (corso di Laurea in Informatica);
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Informatica (corso di Laurea in Formazione di Operatori Turistici, P. Armerina);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecniche Psicologiche, Enna);
3
A. A. 2004-2005 :
Informatica (corsi di Laurea in Matematica ed in Matematica per le Applicazioni);
Formazione Logica (corso di Laurea in Informatica Applicata, Comiso);
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Informatica (corso di Laurea in Formazione di Operatori Turistici, P. Armerina);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecnologie Agrarie);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecniche Psicologiche, Enna);
A. A. 2005-2006 :
Informatica (corsi di Laurea in Matematica ed in Matematica per le Applicazioni);
Formazione Logica (corso di Laurea in Informatica Applicata, Comiso);
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Informatica (corso di Laurea in Formazione di Operatori Turistici, P. Armerina);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecniche Psicologiche, Enna);
A. A. 2006-2007 :
Fondamenti di Informatica (corso di Laurea specialistica in Matematica);
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Informatica (corso di Laurea in Formazione di Operatori Turistici, P. Armerina);
A. A. 2007-2008 :
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Informatica (corso di Laurea in Formazione di Operatori Turistici, P. Armerina);
A. A. 2008-2009 :
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Educatori dell’Infanzia);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecniche Psicologiche, Enna);
A. A. 2009-2010 :
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Scienze Educative per l’Infanzia);
Fondamenti di Informatica (corso di Laurea in Scienze e Tecniche Psicologiche, Enna);
A. A. 2010-2011 :
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
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 Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
Informatica (corso di Laurea in Scienze dell’Educazione e della Formazione);
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