Renzo Sprugnoli
(Aggiornato Ottobre
2005)
Renzo Sprugnoli è nato a Cogoleto (GE) il 04/03/1942.
Risiede a Pisa, Via Svezia, 12. CAP 56124.
Codice Fiscale: SPR RNZ 42C04 C823W.
Renzo Sprugnoli ha ottenuto la maturità scientifica nel luglio 1961.
Si è laureato in Matematica presso l’Università degli Studi di Pisa il 30 ottobre 1965 con una tesi
dal titolo “Algoritmi generalizzati di Markov e il calcolo automatico delle espressioni simboliche”,
relatore il Prof. Alfonso Caracciolo di Forino.
Si è specializzato in “Calcolo Automatico” presso l’Istituto di Elaborazione dell’Informazione nell’A.A. 1965/66.
E’ stato Assistente incaricato presso la Cattedra di Geometria dell’Accademia Navale di Livorno nell’A.A. 1965/66.
E’ risultato vincitore di una borsa di studio dell’IBM presso il CNUCE di Pisa per l’A.A. 1966/67.
E’ stato Assistente Volontario presso la Cattedra di Analisi della Facoltà di Ingegneria dell’Università
di Pisa negli A.A. 1966/67 e 1967/68.
E’ stato dipendente della Shell Italiana S.p.A. (attualmente Industria Italiana Petroli S.p.A.) dal
2 novembre 1967 al 15 luglio 1969, occupandosi di Ricerca Operativa.
Dal 16 luglio 1969 al 15 aprile 1985 è stato Ricercatore del C.N.R. presso l’Istituto di Elaborazione
dell’Informazione di Pisa.
Dall’A.A. 1969/70 all’A.A. 1980/81 è stato Professore Incaricato, e dal 1983 Professore Incaricato
Stabilizzato, di Algebra presso il Corso di Laurea in Scienze dell’Informazione dell’Università di Pisa.
Dall’A.A. 1981/82 all’A.A. 1984/85 è stato Professore Incaricato Stabilizzato dell’insegnamento di
Documentazione Automatica presso il Corso di Laurea in Scienze dell’Informazione dell’Università di Pisa.
Dal 16 aprile 1985 all’11 gennaio 1987 è stato Professore Associato di Documentazione Automatica presso
il Corso di Laurea in Scienze dell’Informazione dell’Università di Pisa.
Vincitore del Concorso Nazionale per Professore di Prima Fascia, settore K05A, ha preso servizio presso
l’Università di Padova il 12 gennaio 1987.
Dal 12 gennaio 1987 a tutto l’A.A. 1990/91 è stato Professore Straordinario di “Teoria e Tecnica
dell’Elaborazione Automatica dei Dati” presso la Facoltà di Scienze Statistiche, Demografiche e
Attuariali dell’Università di Padova.
Confermato in ruolo, è diventato Professore Ordinario nel settore K05A a partire dal 12 gennaio 1990.
Dal 1 novembre 1991 è Professore Ordinario di Sistemi per l’Elaborazione dell’Informazione nel settore K05B
(attualmente INF/01).
Dal 1 novembre a tutt’oggi è Professore Ordinario presso il Corso di Laurea in Scienze dell’Informazione
– Informatica dell’Università degli Studi di Firenze.
Nell’A.A. 1991/92 è stato Coordinatore del Corso di Laurea in Scienze dell’Informazione, di nuova istituzione
nell’Università di Firenze.
Negli A.A. 1995/96, 1996/97 e 1997/98 è stato Presidente del Corso di Laurea in Scienze dell’Informazione
– Informatica e nell’A.A. 1997/98 responsabile del Diploma Universitario in Informatica dell’Università
di Firenze.
Il Prof. Renzo Sprugnoli si è interessato ai seguenti argomenti:
Anni 1965-1967: Definizione formale dei linguaggi di programmazione. Linguaggi di programmazione di tipo
simbolico. Linguaggi formali.
Anni 1969-1975: Semantica operazionale dei linguaggi di programmazione. Sistemi di riscrittura. Interpreti
e compilatori. Linguaggio APL. Realizzazione di sistemi formali con regole di riscrittura. Costruzione
automatica di interpreti mediante sistemi formali.
Anni 1975-1978: Algoritmi e strutture dati. Tabelle hash e alberi binari di ricerca. Analisi delle prestazioni
degli algoritmi e delle strutture dati.
Anni 1978-1986: Sistemi per la gestione delle basi di dati. Struttura interna delle basi di dati.
Applicazioni delle basi di dati. Utilizzo delle basi di dati nei sistemi di automazione bibliotecaria.
Information Retrieval.
Anni 1987-1993: Algoritmi e strutture dati. Analisi delle prestazioni degli algoritmi. Metodi matematici
per l’analisi degli algoritmi.
Anni 1994-...: Metodologie combinatorie per l’analisi delle strutture dati. Funzioni generatrici mono-
e bivariate. Analisi asintotica. Analisi combinatoria. Somme combinatorie.
Il Prof. Renzo Sprugnoli ha partecipato, in qualità di consulente o di responsabile, a diversi progetti
con la Pubblica Amministrazione:
Anni 1983-1987: responsabile tecnico-scientifico del progetto di automazione delle Biblioteche
dell’Università di Pisa, realizzazione e messa a punto del sistema di automazione ATLAS.
Anno 1984-86: responsabile di un progetto di Computer Aided Transcription sul sistema Michela
per la stenotipia presso il Senato della Repubblica.
Anni 1992-1993: consulente del Ministero del Bilancio per i Progetti di Ricerca cofinanziati dal
Ministero per lo sviluppo del Mezzogiorno.
Anni 1996-1998: presidente di una Commissione del Ministero del Bilancio per la valutazione dei
risultati ottenuti da alcuni progetti di ricerca della società Elasis S.C.p.A.
Anni 1995-1999: Responsabile del Gruppo di Monitoraggio del progetto di automazione della
Regione Toscana relativamente alla legge 241.
Anni 2001-...: Responsabile universitario di corsi IFTS finanziati dalla Regione Toscana.
Inoltre, il Prof. Renzo Sprugnoli, ha fatto parte di numerose Commissioni per concorsi e per la
valutazione di progetti.