CURRICULUM VITAE ET STUDIORUM OTTAVIO M. D'ANTONA

Transcript

1 CURRICULUM VITAE ET STUDIORUM DI OTTAVIO M. D'ANTONA (2015) SOMMARIO 1. NOTIZIE BIOGRAFICHE, TITOLI DI STUDIO E POSIZIONE ATTUALE 2. ALTRE ATTIVITA' ACCADEMICHE 3. ATTIVITA' DI RICERCA 4. PUBBLICAZIONI

2 1. NOTIZIE BIOGRAFICHE, TITOLI DI STUDIO E POSIZIONE ATTUALE Nato a Torino il 19/2/'47, vive a Milano dal Maturità Classica (Istituto Zaccaria,1965). Ingegneria Elettronica (Politecnico di Milano, 1972) Master of Science in Mathematics (Massachusetts Institute of Technology, 1977). Afferisce al Dipartimento di Informatica dell'università degli Studi di Milano in qualità di Professore Ordinario. E' stato docente di corsi di Complementi di programmazione, Impianti per l elaborazione dell informazione, Sistemi per l elaborazione dell informazione, Linguaggi e traduttori (presso l Università di Pavia) e poi di Architettura degli elaboratori e delle reti, Teoria dei grafi, Descrizione formale dell informazione musicale, Matematica per la musica e di istituzioni di Matematica. E stato Relatore di numerose Tesi di Laurea in Ingegneria Elettronica, in Matematica, in Scienze dell'informazione e in Informatica e anche di Tesi di Dottorato di Ricerca in Informatica. E stato Membro del Collegio dei docenti del Dottorato di Ricerca in Matematica, Statistica, Scienze Computazionali e Informatica. E Membro del Laboratorio di Informatica Musicale del Dipartimento di Scienze dell Informazione dell'università di Milano

3 2. ALTRE ATTIVITA' ACCADEMICHE Nel 1981 ha organizzato la Mostra dell'editoria e Sussidi Audiovisivi associata al XX Congresso A.I.C.A. (Pavia). Nel 1991 ha organizzato la International Conference on Graphs and Hypergraphs (Varenna) indetta in occasione del LXXV Compleanno di Frank Harary. E' redattore delle Mathematical Reviews, revisore delle IEEE Transactions on Reliability e autore di svariate recensioni e pubblicazioni divulgative. E' Fellow of The Institute for Combinatorics and its Applications. Invited Speaker al Joint Meeting of the American Mathematical Society and the Sociedad Matemáticas de México (Mérida, 1993). Dal 1995 al 2002 ha fatto parte del Comitato organizzatore e scientifico della Conferenza Italiana di Combinatoria Algebrica. Invited Speaker all'umbral Calculus Workshop (M.I.T., 1996) E' stato Visiting Scholar presso il Department of Mathematics del M.I.T. (Agosto, 1996). E stato membro della Rete Europea di ricerca ACE (Algebraic Combinatorics in Europe) E stato Vicedirettore (e Membro della Giunta) del Dipartimento di Scienze dell'informazione e del Dipartimento di Informatica e Comunicazione. A livello di Ateneo è stato Responsabile della Didattica della Classe di abilitazione A42 (Informatica) della SILSIS. E stato Presidente della Commissione dell'esame di ammissione degli studenti stranieri alla Facoltà di Scienze MM.FF.NN. E Presidente della Commissione Tesi del Dipartimento di Informatica.

4 3. ATTIVITA' DI RICERCA Le ricerche svolte hanno riguardato le aree della TEORIA DEI GRAFI, dei LINGUAGGI DI PROGRAMMAZIONE E SISTEMI, dell ANALISI COMBINATORIA e delle APPLICAZIONI ALLE LOGICHE POLIVALENTI. Tali ricerche sono state svolte con finanziamenti CNR-CCTE, MPI-40%, CNR-PF1-MUMICRO, Convenzione di ricerca Università di Pavia / I.B.M. Italia (Progetto Paideia), Convenzione di ricerca Università di Pavia / Speroni S.p.A., MPI-60%, PRIN. Nell ambito della teoria dei grafi sono stati studiati problemi di planarità e, in seguito, alcune proprietà di polinomi associati ai grafi (indicatore di cicli e cammini, e cromatico). E stato realizzato l interprete per il linguaggio multiprocessore MML, e un linguaggio ad hoc per un robot di collaudo. Inoltre è stato studiato il problema della determinazione dei modelli stabili per una casse di programmi logici. Svariati lavori di natura combinatoria hanno introdotto e sviluppato il metodo degli anelli mirati. Altro tema è quello delle costanti di connessione per famiglie persistenti di polinomi. E stata individuata la relazione che lega le costanti di connessione tra famiglie persistenti e le radici dei polinomi coinvolti. Sono state ampliamente studiate le caratteristiche di queste famiglie di polinomi. Più recentemente ha avuto inizio un'attività relativa ad aspetti combinatori nelle algebre associate a logiche polivalenti. In particolare è stato studiato il problema delle forme normali per certe logiche di Lukasiewicz. In analogia con il teorema di unica rappresentazione delle funzioni booleane, è stata trovata una forma normale in termini di connettivi che rappresentano l'analogo di negazione e di somma e prodotto logico nei circuiti digitali. Utilizzando il concetto di partizioni ordinate, è stato determinato il prodotto nella categoria delle foreste con mappe aperte associata ad una sottoclasse delle algebre di Goedel (finite). In particolare è stato stimato il numero di sottoforeste delle foreste

5 libere (riottenendo in tal modo un risultato di A. Horn). Gli studi su queste algebre sono proseguiti in successivi lavori. In particolare, è stato studiato il significato logico della loro caratteristica di Eulero. Sono inoltre state studiate varie proprietà combinatorie degli insiemi indipendenti di famiglie di grafi (potenze dei cammini e dei circuiti) e, in un lavoro più recente, è stata offerta una interpretazione in termini di grafi euleriani di una generalizzazione (ispirata a problematiche della Fisica teorica) dei numeri di Bell.

6 4. PUBBLICAZIONI 1- P. Codara, O.M. D Antona, P. Hell (2014). A simple combinatorial interpretation of certain generalized Bell and Stirling numbers. DISCRETE MATHEMATICS, vol. 318, p , ISSN: X, doi: /j.disc P. Codara, O.M. DʼAntona, V. Marra (2014). The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. FUZZY SETS AND SYSTEMS, vol. 247, p , ISSN: , doi: /j.fss P. Codara, O. D'Antona (2013). Independent subsets of powers of paths, and Fibonacci cubes. ELECTRONIC NOTES IN DISCRETE MATHEMATICS, vol. 40, p , ISSN: , doi: /j.endm P. Codara, O. D'Antona (2013). Investigating indipendent subsets of graphs, with Mathematica. In: Mathematica Italia user group meeting 2013 : atti del convegno. Arezzo:Adalta, ISBN: , Bologna, P. Codara, O. D'Antona, F. Marigo, C. Monti (2013). Making simple proofs simpler. In: Mathematica Italia user group meeting 2013 : Atti del Convegno. Arezzo:Adalta, ISBN: , Bologna, P. Codara, O.M. D'Antona, V. Marra (2012). Valuations in Gödel logic, and the Euler characteristic. JOURNAL OF MULTIPLE VALUED LOGIC & SOFT COMPUTING, vol. 19, p , ISSN: S. Aguzzoli, O. D'Antona, V. Marra (2011). Computing minimal axiomatisations in Gödel propositional logic. JOURNAL OF LOGIC AND COMPUTATION, vol. 21, p , ISSN: X, doi: /logcom/exp P. Codara, O.M. D'Antona, D. Filaretti (2011). Building bricks with bricks, with Mathematica. In: Mathematica Italia User Group Meeting : atti del convegno Torino, Italy, 2011, Arezzo:Adalta, ISBN: P. Codara, O. M. D'Antona, E. Munarini (2010). Mathematica sa fare le somme?. In: Mathematica Italia User Group Meeting 2010 : atti del convegno. Arezzo:Adalto, ISBN: P. Codara, O. M. D'Antona, V. Marra (2010). The Euler characteristic of a formula in Gödel logic. In: Proceedings [of the] 40th IEEE International Symposium on Multiple-Valued Logic ISMVL 2010 : May 2010, Barcelona, Spain. p , Los Alamitos:IEEE Computer Society, ISBN: , Barcelona, Spain, 2010, doi: /ISMVL P. Codara, O. D'Antona, V. Marra (2009). An Analysis of Ruspini Partitions in Gödel Logic. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 50, p , ISSN: X, doi: /j.ijar

7 12- P. Codara, O. M. D'Antona, V. Marra (2009). A characterisation of bases of triangular fuzzy sets. In: 2009 IEEE International Conference on Fuzzy Systems : Proceedings,ICC Jeju, Jeju Island, Korea,August 20-24, p , Piscataway:IEEE, ISBN: , Jeju Island, South Korea, 2009, doi: /FUZZY P. Codara, O. M. D'Antona, V. Marra (2009). Open Partitions and Probability Assignments in Gödel Logic. In: Symbolic and quantitative approaches to reasoning with uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009 : proceedings. p , Berlin:Springer, ISBN: , Verona, Italy, 2009, doi: / _ E. Damiani, O. D'Antona, V. Marra, F. Palombi (a cura di) (2009). From combinatorics to philosophy: the legacy of G.-C. Rota. Berlin:SPRINGER, ISBN: P. Codara, O.M. D'Antona, V. Marra (2007). Best Approximation of Ruspini Partitions in Gödel Logic. In: (a cura di): K. Mellouli, Symbolic and quantitative approaches to reasoning with uncertainty. p , Berlin:Springer, ISBN: , doi: / _ O. D'Antona (2007). Come nasce un capricciolo simmetrico. In: (a cura di): R. Betti;E. Marchetti;L. Rossi Costa, Simmetria : una scoperta matematica. p , Milano:polipress, ISBN: O. D'Antona, E. Munarini (2007). Funzioni aritmetiche e serie di Dirichlet. In: Bollettino dei docenti di matematica. Vol. 55. p , Centro didattico cantonale, ISBN: P. Codara, O.M. D'Antona, V. Marra (2007). Propositional Gödel logic and Delannoy paths. In: IEEE International Conference on Fuzzy Systems : july 2007, London, UK : proceedings. p , Piscataway:Institute of electrical and electronics engineers, ISBN: , London, O. D'Antona, V. Marra (2006). Computing coproducts of finitely presented Gödel algebras. ANNALS OF PURE AND APPLIED LOGIC, vol. 142, p , ISSN: , doi: /j.apal O. D'Antona, E. Munarini (2005). A combinatorial interpretation of the connection constants of persistent sequences of polynomials. EUROPEAN JOURNAL OF COMBINATORICS, vol. 26, p , ISSN: , doi: /j.ejc S. Aguzzoli, O.M. D'Antona, V. Marra (2005). Brun normal forms for co-atomic Lukasiewicz logics. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005 : Barcelona, Spain, July 6-

8 8, 2005 : Proceedings. p , Berlin:Springer, ISBN: , Barcellona, Spagna, 2005, doi: / _ S. Costantini, O. D'Antona, A. Provetti (2002). On the equivalence and range of applicability of graph-based representations of logic programs. Inform. Process. Lett. 84, no. 5, O. D'Antona, C. Mereghetti, F. Zamparini (2001). The 224 non-chordal graphs on less than 10 vertices whose chromatic polynomials have no complex roots. DISCRETE MATHEMATICS, vol. 226, p , ISSN: X, doi: /S X(00) O. M. D'Antona, E. Munarini (2000). A combinatorial interpretation of punctured partitions. In memory of Gian-Carlo Rota. J. Combin. Theory Ser. A 91 (2000), no. 1-2, O. M. D'Antona, E. Munarini (2000). The cycle-path indicator polynomial of a digraph. Adv. in Appl. Math. 25 (2000), no. 1, L. Colucci, O. D'Antona, C. Mereghetti (2000). Fibonacci and Lucas numbers as cumulative connection constants. THE FIBONACCI QUARTERLY, vol. 38, p , ISSN: O. D Antona (1996). The would-be method of targeted rings. In: (a cura di): B. E. Sagan;R. P. Stanley, Mathematical Essays in honor of Gian-Carlo Rota. p , BOSTON:Birkhäuser, ISBN: , doi: / _7 28- E. Damiani, O. D'Antona, P. Salemi (1994). An upper bound to the crossing number of the complete graph drawn on the pages of a book. JOURNAL OF COMBINATORICS, INFORMATION & SYSTEM SCIENCES, vol. 19, p , ISSN: E. Damiani, O. D'Antona, D. Loeb (1994). Decompositions of Bn and Πn using symmetric chains. JOURNAL OF COMBINATORIAL THEORY. SERIES A, vol. 65, p , ISSN: , doi: / (94) E. Damiani, O. D'Antona, F. Regonati (1994). Whitney numbers of some geometric lattices. JOURNAL OF COMBINATORIAL THEORY. SERIES A, vol. 65, p , ISSN: , doi: / (94) E. Damiani, O. D'Antona, Huu Le Van (1992). The design of a microkernel application platform for shop-floor automation (extended abstract). FUTURE GENERATION COMPUTER SYSTEMS, vol. 8, p , ISSN: X, doi: / X(92)90046-E

9 32- E. Damiani, O. D'Antona, G. Naldi (1991). On the connection constants. Stud. Appl. Math. 85, no. 4, E. Damiani, O. D'Antona, G. Naldi, L. Pavarino (1991). Tiling bricks with bricks. Stud. Appl. Math. 83 (1990), no. 2, O. D'Antona (1986). Combinatorial properties of the factorial ring. J. Math. Anal. Appl. 117 (1986), no. 2, O. D'Antona, A. Pesci (1985). Connecting two rings underlying the inclusionexclusion principle. J. Combin. Theory Ser. A 40, no. 2, O. D'Antona (1985). A ring underlying probabilistic identities. J. Math. Anal. Appl. 108 (1985), no. 1, O. D'Antona (1984). The extremal principle for reliability functions. Proceedings of the conference on combinatorial and incidence geometry: principles and applications (La Mendola, 1982), , Rend. Sem. Mat. Brescia, 7, Vita e Pensiero, Milan, O. D'Antona, G.A. Cottafava (1984). Book-thickness and book-coarseness of graphs. In: Proceedings of the fifth International symposium on network theory : Sarajevo, Yugoslavia, September 4-7, p , Sarajevo:Yugoslav society for electronics and automation, Sarajevo, O. D'Antona, J. P. Kung (1980). Coherent orientations and series-parallel networks. Discrete Math. 32, no. 1, O. D'Antona, G.-C. Rota (1978). Two rings connected with the inclusionexclusion principle. J. Combin. Theory Ser. A 24, no. 3, O. D'Antona (1978). The transfer principle for Boolean functions. J. Combinatorics Information Syst. Sci. 3, no. 1, G. Cottafava, O. D'Antona (1975). Il tracciamento automatico di grafi. (Italian) Alta Frequenza 44, no. 1, G. Cottafava, O. D'Antona (1975). Embedding linear-terminal components into an electronic circuit layout. Proceedings of the Eighteenth Midwest Symposium on Circuits and Systems (Concordia Univ., Montreal, Que., 1975), pp Western Periodicals, North Hollywood, Calif., 1975