Breve Curriculum  di Alberto Bertoni

 

Alberto Bertoni si è laureato in Fisica nel 1970. Dal 1981 è professore ordinario presso il Dipartimento. di Scienze dell'Informazione dell'Università di Milano.

 

Svolge attività di ricerca nell'ambito dell'Informatica Teorica, in particolare in complessità computazionale, linguaggi formali, macchine probabilistiche e quantistiche, apprendimento computazionale e reti di neuroni, algoritmi genetici. L’attività è documentata da più di 100 pubblicazioni in sede internazionale.

 

Ha insegnato i corsi universitari di Teoria e Applicazioni delle Macchine Calcolatrici, Algoritmi e Strutture Dati, Teoria dei Linguaggi, Elaborazione Numerica dei Segnali, Metodi per il trattamento dell’Informazione, Informatica Teorica, Linguaggi Formali e Automi, Algebra , Istituzioni di Matematiche. Ha tenuto vari corsi di Dottorato, anche in Scuole Nazionali

 

E' uno dei fondatori del Capitolo Italiano dell'Associazione Europea di Informatica Teorica (EATCS), di cui è stato presidente per 6 anni. E’ stato per 6 anni il membro italiano del Consiglio EATCS. E' stato presidente del Consiglio di Corso di Laurea in Scienze dell'Informazione,  coordinatore del Dottorato di Ricerca in Informatica Milano-Torino,  membro del Senato Accademico dell’Università di Milano, membro del Consiglio Scientifico dello IAMI (CNR). E’ attualmente Direttore del Dipartimento di Scienze dell’Informazione.

 

E’ membro dell’Editorial Board  di Theoretical Informatics and Applications.

E’ stato membro del Comitato Scientifico di Conferenze nazionali e internazionali nell’ambito dell’informatica teorica e delle reti neurali (CAAP,STACS, AdPeNets, WIRN, CIAC, …)

 

E’ responsabile locale di un progetto cofin ed stato responsabile locale di vari progetti nazionali del Ministero e del CNR.

 

Alcune Pubblicazioni scientifiche :

 

[BeFoVa04] A. Bertoni, R.Folgieri, G.Valentini, Biomolecular cancer prediction with random subspaces ensembles of Support Vector Machines, accettato per pubblicazione  su Neurocomputing, 2004.

 

[BeChGoLo03]  A. Bertoni, C. Choffrut, M. Goldwurm, V. Lonati, On the number of occurrences of a symbol in words of regular languages, Theoretical Computer Science, vol. 302 (2003), 431-456.

 

[BeCaGr02] A. Bertoni, P. Campadelli,  G. Grossi, A Neural Algorithm for the Maximum Clique Problem: Analysis, Experiments and Circuit Implementation,  Algoritmica 33 (1), pp.71-88, 2002.

 

[BeCa01b] A. Bertoni and M. Carpentieri,  Regular Languages Accepted by Quantum Automata, Information and Computation. vol. 165, pp. 174-182, 2001

 

[BCCG00]. A. Bertoni, P. Campadelli, M. Carpentieri and G. Grossi, A Genetic Model: Analysis and Application to MAXSAT, Evolutionary Computation, 8 (3), pp. 291-309, 2000.

 

[BM98] A. Bertoni, M. Massazza, On the inclusion problem for finitely amboguous rational trace languages, Theo. Info. and Appl., vol. 32, pp.79-98, 1998

[BeCBFi95] A. Bertoni, N. Cesa Bianchi, G. Fiorino, Efficient learning with equivalence queries of conjunction of modulo functions, Info. Pro. Lett., 56, pp.15-17, 1995.

 

[BeMa94] A. Bertoni, P. Massazza, A parallel algorithm for the Hadamard product of holonomic formal series, Int. Journ.of Alg. And Comp., Vol.4, N.4, pp.561-573, 1994

 

[BeDo93]A.Bertoni, M.Dorigo, Implicit parallelism in genetic algorithms, Artificial Intelligence: an int. Jour., Vol.61, 2, pp.307-313, 1993

 

[BeGoSa91]A.Bertoni, M.Goldwurm, N. Sabadini, The complexity of computing the number of strings of given lenght in context free languages, Theo.Comp.Sci., 1991

 

[BeMaSa89]A.Bertoni, G:Mauri, N.Sabadini, Membership problems for regular and context-free languages, Information and Computation, 82, n.2, pp.135-150, 1989

 

[BeMaSa85]A.Bertoni, G.Mauri, N.Sabadini, Simulation among classes of Random Access Machines and equivalence among number succinctly represented, Ann.Discrete Mathematics, 25, pp.65-90, 1985

 

[BeMaMi83]A.Bertoni, G.Mauri, P.A.Miglioli, On the power of model theory in specifying abstract data types and in capturing their recursiveness, Fundamenta Informaticae, Vol.2, pp.129-170, 1983

 

[BeMaSa81]A.Bertoni, G.Mauri, N.Sabadini, A characterization of the class of functions computable in polynamial time on Randon Access Machines, 13th ACM Symp. On Theoy of Computation, pp.168-178, 1981

 

[BeHaMaTo78]A.Bertoni, G.Haus,  G.Mauri, M.Torelli, Analysis and Compacting of musical texts, Journal of Cybernetics, vol.8, pp.257-272, 1978