ROSSI Prof. Gianfranco
Mail di Ateneo:
gianfranco.rossi@unipr.it
Telefono:
+39 0521 906909
Fax:
+39 0521 906950 Afferenza organizzativa
Altre informazioni
settore scientifico disciplinare
INF/01
Orario di ricevimento
Martedì 11:30 - 13:00Venerdì 11:30 - 13:00
Curriculum Vitae
Gianfranco Rossi ha ricevuto la laurea in Scienze dell'Informazione dall'Universita' di Pisa nel 1979. Dal 1981 al 1983 ha lavorato presso la societa' Intecs Co. System House a Pisa. Da Novembre 1983 a Febbraio 1989 e' stato ricercatore presso il Dipartimento di Informatica dell'Universita' di Torino e dal 1989 al 2001 e' stato Professore Associato presso le Universita' di Udine, Bologna e Parma. Da Novembre 2001 e' Professore Ordinario di Informatica presso l'Universita' di Parma, dove tiene corsi relativi ai linguaggi di programmazione convenzionali e non.
La sua attivita' di ricerca si e' rivolta principalmente all'Intelligenza Artificiale e ai Linguaggi di Programmazione, con particolare attenzione ai Linguaggi di Programmazione Logica. Nel campo dell'Intelligenza Artificiale ha lavorato sugli Algoritmi di Unificazione estesa e sui formalismi di Rappresentazione della Conoscenza basati sul Prolog. Nel campo dei Linguaggi di Programmazione ha lavorato inizialmente sulle tematiche della programmazione concorrente e distribuita; successivamente, ha lavorato sui linguaggi di Programmazione Logica dal punto di vista delle problematiche della programmazione (come l'introduzione di costrutti per la programmazione strutturata e per la meta-programmazione). Piu' recentemente, ha rivolto i propri interessi alla definizione e sviluppo di linguaggi e risolutori in grado di trattare vincoli insiemistici e alla integrazione di tali nozioni e strumenti, inizialmente, all'interno dei linguaggi Logici con Vincoli (CLP) e, successivamente, all'interno di linguaggi imperativi object-oriented (specificatamente, Java).
Gianfranco Rossi e' stato coordinatore locale di vari progetti di ricerca finanziati dal C.N.R. italiano e dal Ministero dell'Universita\\' e della Ricerca, riguardanti principalmente i linguaggi di programmazione convenzionali
e non. E' stato anche responsabile di numerose iniziative sia in campo didattico che di ricerca, tra cui l'organizzazione di due Workshop Internazionali su "(Declarative) Programming with Sets" e di una Scuola Internazionale su "Advances in Logic Programming".
Dal 2002 al 2009 e' stato Presidente del Corso di Laurea in Informatica dell'Universita' di Parma.
E' socio fondatore dell'Associazione italiana di Programmazione Logica (GULP) e da Dicembre 2006 ne e' il Presidente.
La sua attivita' di ricerca si e' rivolta principalmente all'Intelligenza Artificiale e ai Linguaggi di Programmazione, con particolare attenzione ai Linguaggi di Programmazione Logica. Nel campo dell'Intelligenza Artificiale ha lavorato sugli Algoritmi di Unificazione estesa e sui formalismi di Rappresentazione della Conoscenza basati sul Prolog. Nel campo dei Linguaggi di Programmazione ha lavorato inizialmente sulle tematiche della programmazione concorrente e distribuita; successivamente, ha lavorato sui linguaggi di Programmazione Logica dal punto di vista delle problematiche della programmazione (come l'introduzione di costrutti per la programmazione strutturata e per la meta-programmazione). Piu' recentemente, ha rivolto i propri interessi alla definizione e sviluppo di linguaggi e risolutori in grado di trattare vincoli insiemistici e alla integrazione di tali nozioni e strumenti, inizialmente, all'interno dei linguaggi Logici con Vincoli (CLP) e, successivamente, all'interno di linguaggi imperativi object-oriented (specificatamente, Java).
Gianfranco Rossi e' stato coordinatore locale di vari progetti di ricerca finanziati dal C.N.R. italiano e dal Ministero dell'Universita\\' e della Ricerca, riguardanti principalmente i linguaggi di programmazione convenzionali
e non. E' stato anche responsabile di numerose iniziative sia in campo didattico che di ricerca, tra cui l'organizzazione di due Workshop Internazionali su "(Declarative) Programming with Sets" e di una Scuola Internazionale su "Advances in Logic Programming".
Dal 2002 al 2009 e' stato Presidente del Corso di Laurea in Informatica dell'Universita' di Parma.
E' socio fondatore dell'Associazione italiana di Programmazione Logica (GULP) e da Dicembre 2006 ne e' il Presidente.
Temi di ricerca
Principali temi di ricerca attuali sono:
- Studio e realizzazione di linguaggi e risolutori di vincoli su insiemi e domini finiti e loro applicazioni
- studio e realizzazione di risolutori per il calcolo non-ground di modelli stabili per programmi Answer Set Programming.
- Studio e realizzazione di linguaggi e risolutori di vincoli su insiemi e domini finiti e loro applicazioni
- studio e realizzazione di risolutori per il calcolo non-ground di modelli stabili per programmi Answer Set Programming.
Servizio di inserimento e modifica dei dati relativi al curriculum vitae (Max 3000 caratteri) e ai temi di ricerca (Max 1000 caratteri) (limitato al personale docente e ricercatore e al personale tecnico-amministrativo titolare di posizioni organizzative).
In questa unità
-
+39 0521 906911
-
+39 0521 906919
-
+39 0521 906968
