GIUSEPPE ROSOLINI: CURRICULUM VITÆ

• Born in Mantova, Italy, on September 25, 1954
• Married to Elisabetta Peretti with one child, Alessandro

Education and Degrees

• Laurea con lode in Mathematics, Università di Parma, with a thesis on frames, 1977
• D.Phil. in Mathematics, University of Oxford, under the supervision of Prof. Dana S. Scott, with a dissertation on categorical models of computation, 1986

Academic Career

1976-81: C.N.R. research fellowship

1981-84: ricercatore universitario, Università di Parma

1984-85: C.N.R.- N.A.T.O. research fellowship

1985-86: research associate, Carnegie-Mellon

1986-88: research associate, University of Cambridge

1988-92: ricercatore universitario, Università di Parma

1992-2000: professore associato, Università di Genova

2000-present: professore ordinario, Università di Genova

Offices

• socio corrispondente of the Accademia Virgiliana
• member of Commissione UMI per le Olimpiadi della Matematica.
• member of the Comitato Direttivo of the Associazione Italiana Logica ed Applicazioni
• editor of the Journal of Pure and Applied Algebra
• condirettore of the Scuola Estiva di Logica

Organization

• International Category Theory Conference CT2011
• International Category Theory Conference CT2010
• Tutorial Day on Domain Theory at MFPS XXIII
• Seminario di Teoria e Applicazioni delle Categorie
• Past: CT'90, New Trends in Semantics, CTCS'97, APPSEM'98, Tutorial Workshop on Realizability Semantics and Applications, CT2000, RIcerca e FORmazione in MAtematica, FLoc'02 Satellite Worshop on Domain Theory, MFPS XXII, MAP Summer School

Invited member

• Graduate School, City University of New York
• Faculteit Wiskunde en Informatica, Universiteit van Amsterdam
• School of Computer Science, Carnegie-Mellon University
• Ecole Normale Supérieure, Paris
• Département de Mathematiques, Université Catholique de Louvain
• Mathematisch Instituut, Universiteit Utrecht
• Datalogisk Afdeling, Århus Universitet
• Dipartimento di Matematica, Università di Siena
• Newton Institute for Mathematical Sciences, Cambridge
• Institut für Informatik, Ludwig-Maximillian-Universität, München

Bibliography

BibTeX list of papers