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
[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