DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
E SCIENZE MATEMATICHE

UNIVERSITA' DEGLI STUDI DI SIENA
 
Home
  Privacy e Cookie policy


Aldo Ursini


Dipartimento di Ingegneria dell'Informazione
e Scienze Matematiche
University of Siena
Via Roma, 56
53100 Siena ITALY


e-mail:
Tel: -
Fax: -
Office:
Building:
Floor:
Room:
S. Niccolò
1
111

[map]
Research Area Mathematical Logic and Foundations
ssd MAT/01
Office Hours
segreteriaonline
Curriculum
ALDO URSINI: CURRICULUM Nato a Spadola (Vibo Valentia) il 15.04.1947 Laurea in Matematica, Universita' di Napoli, 23.11.1970, 110 e lode. Professore di ruolo fascia II, disciplina Logica Matematica (A01A) dal 27.07.1983. In pensione dal 1.09.2016. Ha tenuto corsi d’insegnamento di: Logica matematica, Algebra della Logica, Istituzioni di Logica matematica, Teoria della Dimostrazione, Logica Lineare per il Corso di Laurea in Matematica, (Universita’ di Siena). Altri incarichi d’insegnamento: Siena: Istituzioni di Geometria Superiore (‘73-’77). Matematiche elementari da un punto di vista superiore: (‘75-’78, 80/81 ed 83/84). Strutture algebriche:77/78. Fondamenti matematici della relativita': 81/82 Dottorato in Logica Matematica e Informatica Teorica: Teoria della Dimostrazione: dal 1990 al 2005. Universita' di ROMA III: Corso di Laurea in Scienze dell’Educazione: Logica (‘94 –2001) Universita' Nazionale Somala, Mogadischu: ( Ministero AAEE - Dipartimento Cooperazione allo Sviluppo): Matematica I –’85, Matematica e Laboratorio di Matematica –’89 Borse di studio: Annuali 1971 e 1972, Comitato Nazionale per la Matematica del C.N.R. Annuale1973 Ministero della Pubblica Istruzione. Annuale 1980 per l'Estero del Comitato Nazionale per la Matematica del C.N.R., (Dept. of Mathematics, University of California, Berkeley). Mensile ( Univ. di Siena -- Columbia University) Ottobre 1994 Altre attivita' professionali: Dal 1983 al 2001: responsabile del gruppo di ricerca Algebra Universale ed applicazioni (“60%”), Universita’ di Siena. Dal 1998: partecipante al progetto CEE –TMR Linear Logic in Theoretical Computer science. 1980-1993: recensore per Zentralblatt fur Mathematik. 1994-2000, e 2002 in poi: recensore per Mathematical Reviews Referee per riviste tra cui: Boll.dell'Un.Mat.It., Journal of Symbolic Logic; Algebra Universalis. Tra le conferenze tenute su invito: 1993 - Budapest, (Math. Dept. of the Hungarian Academy of Sciences) 1994 - Ames (Math. Dept., Iowa State Univ); Chicago (Math. Dept., Univ. of Illinois); Montreal (Math. Dept., McGill Univ.) 1996 - Paris (Equipe de Logique, Univ. Paris VII) 1997 - Barcelona (Centre Rec. Mat., Univ. Barcelona) 2002- Joint Meeting of the A.M.S and the U.M.I. ,Pisa. 2003- Budapest (Math. Dept. of the Hungarian Academy of Sciences) 2003: Vanderbilt Univ.(USA) (Prof. R. McKenzie). 2005: University of Campinas(Brazil) (Prof. W. Carnielli) 2007: Academy of Sciences, Budapest, Hungary 2008:”Max Kelly” Conference in Category Theory, Cape Town, South Africa 2009: University of Louvain-la Neuve, Belgium 2010: University of Capetown, University of Stellenbosch, South Africa XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX Curriculum Vitae ALDO URSINI Born: 15 April, 1947, Spadola , (Italy). Degree in Mathematics, University of Naples, magna cum laude, 1970. Current position Associate Professor University of Siena, Department of Mathematics and Computer Science Teaching positions: University of Siena: 1983 - 2010 Mathematical Logic 1973-1982: -Commutative Algebra -Elementary Mathematics From an Advanced Standpoint, -Algebraic Structures, -Mathematical Foundations of General Relativity 1990 - 2010: Proof Theory , Algebraic Logic, Linear Logic University of Roma III: -1994 to 2001: Logic for Education Sciences Somali National University, Mogadishu: - Calculus 1985, 1989. Talks (from 1993): Academy of Science, Budapest Iowa State University, Ames , Iowa Univ. of Illinois, Chicago McGill Un., Montreal Univ. Paris VII Univ. Barcelona Joint Meeting UMI-AMS (Pisa 12-16 giugno 2002) Vanderbilt Univ.(USA) University of Campinas(Brazil) Academy of Sciences, Budapest “Max Kelly Conference” in Category Theory, Cape Town, South Africa University of Louvain-la-Neuve, Belgium University of Cape Town, University of Stellenbosch, South Africa Research interests: Universal Algebra, Category Theory, Algebraic Logic, Proof Theory and Theoretical Computer Science;

Publications



 

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche - Via Roma, 56 53100 SIENA - Italy