CURRICULUM VITAE ET STUDIORUM
Stefano Kasangian
Dipartimento di Matematica , via Saldini 50, Milano
1) Informazioni personali
Residenza: P.le Staz.Genova, 3, Milano, 20144
Tel: 02-87390050 (casa) 02503.16140 (ufficio)
Titolo di studio: Laurea in Matematica, Università di Milano, luglio 1976
2) Incarichi ricoperti
Professore associato di "Fondamenti dell'informatica" al Dipartimento di Matematica, Universita’
di Milano dall’ 1 novembre 1997 a ora. Ho tenuto anche un corso di Matematica Combinatoria nel
1997­1998.
Professore associato
di Metodi formali dell’ informatica presso la Facoltà di Scienze dell'
Università di Venezia, Ca’ Foscari, dal 1 novembre 1994 al 31 ottobre 1997.
Professore associato di Linguaggi formali e compilatori presso la Facoltà di Scienze dell'
Università di Venezia, Ca’ Foscari, dal 1 novembre 1993 al 31 ottobre 1994.
Professore associato di Teoria ed Applicazioni delle Macchine Calcolatrici presso la Facoltà
di Scienze dell' Università di Lecce, con una supplenza di Fondamenti di Informatica ad
Ingegneria, dal 1 novembre 1992 al 31 ottobre 1993.
Ricercatore confermato di Algebra e Geometria dall’ 1 novembre 1981 al
Dipartimento di Matematica, Milano.
3) Borse di studio
Borsa del C.N.R dal 15 febbraio 1979 sino al 31 ottobre 1981 presso l’Istituto di Matematica,
Milano e borsa del Ministero degli Esteri, University of Sydney, Australia, da maggio a dicembre
1979 e da marzo sino al maggio1981.
4) Attività di revisione scientifica
Sono membro dell' EATCS, dell'AILA e sono recensore per diverse riviste di matematica, per i
congressi internazionali CONCUR, LICS, MFCS, per il Mathematical Reviews.
5) Attività didattica
Nell’ anno accademico 2001­02 ho tenuto il corso di "Fondamenti dell'informatica" al Dipartimento
di Matematica, Universita’ di Milano . Ho tenuto anche un corso di Matematica Combinatoria nel
1997­1998.
Nell’ anno accademico 1994/95 ho tenuto il corso di Teoria degli automi, annuale, come professore
associato con incarico didattico sostitutivo nel corso di laurea in Scienze dell’ Informazione dell’
Università di Venezia, Ca’ Foscari. Ho tenuto inoltre un ciclo di seminari all’interno del corso di
Logica per Filosofia, sempre a Ca’ Foscari.
Nell’ anno accademico 1993/94 ho tenuto il corso di Teoria degli automi, semestrale, come
professore associato con incarico didattico sostitutivo nel corso di laurea in Scienze dell’
Informazione dell’ Università di Venezia, Ca’ Foscari.
Nell’ anno accademico 1992/93 ho tenuto il corso di Teoria ed Applicazioni delle Macchine
Calcolatrici presso il Dipartimento di Matematica della Facoltà di Scienze dell' Università di Lecce.
Nell’ anno accademico 1992/93 ho tenuto per supplenza il corso di Fondamenti di Informatica ad
Ingegneria
5) Attività scientifica
Ho iniziato in teoria degli automi, per poi passare alla teoria delle categorie.
Mi sono occupato di teoria della concorrenza come applicazione delle
categorie. Negli ultimi anni mi sono occupato di Algebra categoriale.
6) Conferenze tenute
1983 - Università di Fribourg, Switzerland (Kleisli), conferenza sui “glueing data”
1985- conferenza alla Mount Allison University, Sackville e alla Dalhousie University,
Halifax(Rosebrugh ,Wood)
1985- conferenza alla MacGill University, Montréal, Canada (Barr, Joyal) .
1986- Università di Paris VII (Guitart,Karoubi-Zisman), conferenza sul teorema di idempotenza .
Aprile 1986- conferenza at the IASI(CNR), Roma (Labella e Pettorossi)
Novembre 1986- conferenza allo IASI(CNR), Roma (Labella e Pettorossi).
Giugno 1987- conferenza allo IASI(CNR), Roma (Labella e Pettorossi)
1987 Conferenza alla Mount Allison University, Sackville (Rosebrugh) e alla Dalhousie
University,Halifax,(Wood), Canada.
1988 conferenza al Dipartimento di Matematica, Parma, (Italy).
Luglio 1988- conferenza alla Mount Allison University, Sackville(Rosebrugh) e alla Dalhousie
University,Halifax, (Wood), Canada.
Luglio 1988 - conferenza alla S.U.N.Y. at Buffalo, (Lawvere) e alla Washington State University
(Benson) U.S.A
Agosto 1988.Diverse conferenze all'University of Sydney, Australia, Australia (Walters) .
1990- conferenza al Dipartimento di Informatica, Pisa, (Italy).
1990 – ciclo di “graduate lectures”, Dipartimento di Informatica, Pisa(Italy).
1991- conferenza alla ‘Summer school for algebraic foundations of Computer Science’, Gargnano,
(Italy).
1992- conferenza al Dipartimento di Informatica, Bari (Italy).
1992- conferenza al Dipartimento di Informatica, Venezia (Italy).
1992- conferenza al Dipartimento di Matematica, Lecce (Italy).
1997- conferenza al Department of computer science , Aarhus and Aalborg
1997- conferenza al Dipartimento di Matematica, Como (Italy)
1998- conferenza al Dipartimento di Matematica, Milano (Italy).
2000- conferenza alla Mathesis, Dipartimento di Matematica, Milano (Italy).
2005 conferenza ad Armidale, UNE (Australia)
2007- conferenza alla “summer school on Contemporary Categorical Methods in Algebra
andTopology”, Haute Bodeux (Belgium)
2008- conferenza al Reny Institut, Budapest
2015- conferenza al Dipartimento di Matematica dell’Università di Braunschweig,(Germania)
6) Convegni e visite
Maggio -ottobre '79 - Borsista Min.Esteri presso la University of Sydney, Australia.
Luglio '80- Category theory conference Amiens, Francia
Marzo-Maggio '81 - Visitatore a University of Sydney (Kelly, Walters)
Ottobre '81 - Convegno G.N.S.A.G.A. a Modena
Maggio '82- Visitatore a Trieste (Rossi)
Luglio '82 - Category theory conference Isle of Thorns, Sussex, U.K
Dicembre '83-Marzo '84- Visitatore a University of Sydney (Kelly, Walters) ed a Macquarie
University (Street)
Luglio '85- Convegno di Categorie alla Isle of Thorns, Sussex, U.K.
Ottobre '85- Visitatore a Mount Allison University, Sackville e Dalhousie University,
Halifax, MacGill University, Montréal, Canada (Rosebrugh , Wood, Barr, Joyal)
Aprile '86- Visitatore a Parigi (Guitart, Karoubi-Zisman),
Maggio '86- Convegno di Categorie a Trieste.
Luglio '86- Category theory conference a Cambridge, U.K..
Settembre-ottobre '86- Visitatore a Sydney, (Walters).
Aprile '87- Visitatore a Mount Allison University, Sackville (Rosebrugh) e Dalhousie
University, Halifax, (Wood), Mac Gill University, Montreal (Barr, Fox), UQAM, Montréal
(Joyal) Canada.
Luglio '87- Category theory conference, Louvain la neuve, Belgio.
Settembre 87: Conference on Category Theory and Comp. Science, Edinburgh U.K.
Settembre 87- Convegno su fasci, categorie e logica, Trieste
Novembre '87:Visitatore a Parigi (Rosebrugh e Guitart).
Giugno -Settembre '88- Visitatore a Mount Allison University, Sackville(Rosebrugh) e
Dalhousie University, Halifax, (Wood), Canada, poi alla S.U.N.Y. at Buffalo, (Lawvere) e a
Washington State University (Benson) Stati Uniti e infine a Sydney, Australia (Walters),
Luglio '89- I.C.A.L.P. Stresa.
Luglio '89- Category theory meeting a Bangor (U.K)
Ottobre '89- Convegno di Informatica Teorica , Mantova
Luglio '90- Category theory conference CT90, a Como.
Novembre - Dicembre '90 - Ciclo di seminari per il dottorato in Informatica a Pisa.
Marzo '91- Conference on Mathematical Foundations of Program semantics , CarnegieMellon, Pittsburgh, U.S.A.
Aprile '91- CAAP,TAPSOFT9 1, Brighton, U.K.
Giugno '91- Workshop on Logic and Computer Science, castello di Dagstuhl, Germania.
Luglio '91- Symposium on Categories and Computer Science, Durham, U.K.
Settembre '91- Conference on Category Theory and Comp. Science, Parigi
Settembre '90- Seminario al Dipartimento di Informatica di Pisa, (Montanari). .
Febbraio ‘94- PSSL, Sussex
Luglio ‘94 - LICS , Parigi
Luglio ‘94 - Category theory meeting,Tours
Agosto’94- CONCUR, Uppsala
Aprile’95- PSSL, Genova
Maggio ‘95 - Concurrent constraint programming, Venezia
1995-Visita ad Aarhus, Danimarca, presso il BRICS
1995- CONCUR, Pisa .
1998- ETAPS, Lisbon (Portugal)
1998 – Visita all’ University of Sydney, Australia. (Kelly, Walters).
2004- Category theory conference CT'04, Vancouver, Canada.
2004 Conference on homological algebra, SECA 2, Granada, (Spain)
2004-05, visita ad Armidale, UNE ( Australia) (Imre Bokor) .
2005 Visita at Louvain La Neuve (Vitale).
2005 Conference on homological algebra, SECA 3, Santiago de Compostela.
2006 Category theory conference CT'06, Halifax, Canada
2006 “Workshop on categorical algebra” , Milano.
2007 Visita a Louvain La Neuve (Vitale) e Parigi (Bourn).
2008 Visita a Louvain La Neuve (Vitale)
2008” Max Kelly conference”, Capetown (SA)
2008 Category theory conference CT'08, Calais (France)
2008 HOCAT 2008. Homotopy Structures in Geometry and Algebra; Derived Categories,
Higher Categories, Barcelona (Spain)
2009 Category theory conference CT'09, Capetown (SA)
2010 Category theory conference CT'10,Genova
2014 Category theory conference CT'14, Cambridge (UK)
LISTA DELLE PUBLICAZIONI
1) S.Kasangian,F.Rossi, Some remarks on symmetry for a monoidal category,
Bulletin of the Australian Mathematical Society, 23 (1981) 2O9 - 214.
2) R.Betti,S.Kasangian, Una proprietà del comportamento per gli automi completi,
Rendiconti Ist.Mat. Univ. Trieste XIV (1982) 17-26.
3) R.Betti,S.Kasangian, A quasi - universal realization of automata, Rendiconti Ist.
Mat. Univ.Trieste XIV (1982) 41-48.
4) S.Kasangian, G.M.Kelly e F.Rossi, Cofibrations and the realization of non
deterministic automata,Cahiers de Topologie et Géometrie Diff., XXIV 1 (1983) 2346.
5) A.Carboni, S.Kasangian e R.Street, Bicategories of spans and
relations, Journal of Pure and Applied Algebra, 33 (1984) 259-267.
6) R.Betti, S.Kasangian, Tree automata and enriched category
theory, Rendiconti Ist. Mat. Univ. Trieste, XVII (1985), 71 - 78.
7) S.Kasangian, R.Rosebrugh, Decomposition of automata and enriched
category theory, Cahiers de Topologie et Géometrie Diff. Categorique,
XXVII-4 (1986) 137-143.
8) S.Kasangian, B-categories and gamuts,
Diagrammes, 15 (1986) K1-K13.
9) A.Carboni, S.Kasangian e R.Walters,
An axiomatics for bicategories of modules, Journal of Pure and Applied
Algebra, 45 (1987) 127-141.
10) S.Kasangian, A.Labella e A.Pettorossi, Enriched Categories for Local
and Interaction Calculi,Category Theory and Computer Science
Spnger Lecture Notes in Comp. Science 283 (1987), 57-71.
11) S.Kasangian, A.Labella e A.Pettorossi, Enriched Categories for
modelling distributed computations, Proc.Conf. on Parallel processing
and applications, (1987) North Holland.
12) N.Dioguardi,S.Kasangian, A Categorical Characterization of Liver System
Autoisodiasostasis, Dinamica dei Sistemi, 2, 1988.
13) S.Kasangian,A. Labella, The topos of continuous trees as a model for distributed
calculi. Abstract.Logic Colloquium'88, Journ. of Symb. Logic
14) N.Dioguardi, S.Kasangian, Liver System II. A Categorical coarse model for its
Autoisodiasostasis, Res.Clin.Lab.19, 301-305, 1989.
15) S.Kasangian, A.Labella e A.Pettorossi, Observers, Experiments and agents: a
comprehensive approach to concurrency, Ecole de Printemps, Springer Lecture Notes
in Comp.Science 469,(1990),375-406
16) S.Kasangian, R.Rosebrugh, Glueing enriched modules and composition of
automata, Cahiers deTopologie et Géometrie Diff. Categorique vol. XXXI-4 (1990),
283-290 .
17) S.Kasangian, R.F.C.Walters, The duality between flowcharts and
circuits, Bulletin of Australian Mathematical Society, 42 (1990),71-79.
18) S.Kasangian,.S.Vigna, Introducing a Calculus of Trees, TAPSOFT '91 (CAAP),
Springer Lecture Notes in Comp.Science 493 (1991) 215-240.
19) P.Degano, S.Kasangian e S.Vigna,Applications of the Calculus of Trees to
Process Description Languages, Category Theory and Computer Science '91,
Springer Lecture Notes in Comp. Science.530 (1991) 282-301.
20) S.Kasangian, S.Vigna, Trees in Distributive Categories, CT '90,
Springer Lecturte Notes in Mathematics.1488 (1991)237-248.
21) S.Kasangian, A.Labella, Enriched categorical semantics for
distributed calculi, Journal of Pure and Applied Algebra.(3) 1992
22) S.Kasangian, A.Labella, On continuous time agents, Mathematical Foundations
of Program Semantics,'91, Springer Lecture Notes in Comp.Science 598 (1992) 403425.
23) S.Kasangian, G Mauri, N.Sabadini, Traces: a categorical
view, accepted for publication on CTCS '93.
24) S.Kasangian, R.Rosebrugh, Non Deterministic and Fuzzy Automata in
Toposes, Bollettino dell'Unione Matematica Italiana, (7) 8-A, 1994, 313-321
25) S.Kasangian, A.Labella, D.Murphy, Process synchronization
as fusion, Applied Categorical Structures 1996, (4), 403-421.
26) S.Kasangian, S.Vigna, The topos of labelled trees: a categorical semantics for
SCCS, Fundamenta Informaticae , 1997,(32), 27-45
.
27) Kasangian, Stefano; Labella, Anna , Observational trees as models for
concurrency. Math. Struct. Comput. Sci. 9, No.6, 687-718 (1999). [ISSN 0960-1295]
28) Kasangian, Stefano; Kelly, G.Max; Vighi, Veronica
A bicategorical approach to information flow and security.
Categorical studies in Italy. Selected papers presented at the meeting ``The Italian
friends meet Bill Lawvere", Perugia, Italy, May 1-3,
1997. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II.
Ser. 64, 99-122 (2000).
29) Kasangian, S.; Vitale, E.M. Factorization systems for symmetric cat-groups
Theory Appl. Categ. 7, 47-70, (2000).
30) Kasangian, Stefano; Lack, Stephen; Vitale, Enrico M. Coalgebras, braidings, and
distributive laws. Theory Appl. Categ. 13 (2004), No. 8, 129--146
31) Kasangian, Stefano; Metere, Giuseppe; Vitale, Enrico M. Split extensions,
semidirect product and holomorph of categorical groups. Homology, Homotopy
Appl. 8 (2006), no. 1,145-167).
32) Kasangian, Stefano, S. Mantovani, G. Metere, E.M. Vitale, External Derivations
of internal groupoids, Journal of Pure and Applied Algebra, 212 (2008) 175-192.
33) Kasangian, Stefano, Labella, Anna , Conduché properties and Tree based categories,
Journal of Pure and Applied Algebra, 214 (2010) 221_235
34) Kasangian Stefano, Labella Anna, Montoli Andrea, Generalising Conduché’s
theorem . Applied Categorical Structures 2011
Volume 19, Issue 1 , pp 277-292
35) Paolo Bottoni, Stefano Kasangian, Anna Labella , More-than-coherent logic for
operations on images Proceedings of the VLL 2009 workshop on Visual Languages and
Logic in Corvallis, Oregon, USA, 20th September 2009, 2009 IEEE Symposium on
Visual Languages and Human Centric Computing VL/HCC 09
36) Mike Johnson, Stefano Kasangian, A Relational Model of incomplete Data without
nulls, CATS 2010, Brisbane, Proceeding CATS '10 Proceedings of the Sixteenth
Symposium on Computing: the Australasian Theory - Volume 109 Australian Computer
Society, Inc. Darlinghurst, Australia, Australia ©2010 ISBN: 978-1-920682-90-3
37) Kasangian, Stefano, Metere, Giuseppe, Vitale, Enrico, The Ziqqurath of exact
sequences of N-groupoids, Cahiers deTopologie et Géometrie Diff. Categorique Volume
LII (2011) pp 2-43
38) Paolo Bottoni, Stefano Kasangian, Anna Labella Spatial and temporal aspects
in visual interaction Journal of Visual Languages & Computing
Volume 23, Issue 2, April 2012, Pages 91–102
In preparation:
39) Paolo Bottoni, Stefano Kasangian, Anna Labella Daniele Gorla, The logic of a free
logos generated by a generators system
40) Mike Johnson, Stefano Kasangian, , Morita inequivalent representations of partial
morphisms, database nulls, and the view update theorem.
41) Paolo Bottoni, Stefano Kasangian, Anna Labella, Between coherent and first order
logic: the case of a language for parallel computing with pictures .
42) Luca Albergante, Michael Johnson, Stefano Kasangian, Insight into the duality
between data and process by enriched categories.
INTERNAL REPORTS
IR1P. Bottoni, S. Kasangian, A. Labella. - A parallel computing model via pictures in
an enriched-categorical context, Roma , Dipartimento di Informatica, Università di
Roma “La Sapienza”, 2008. (Technical Report n.10)
IR1 S.Kasangian, G.Mauri e N.Sabadini,
Traces and Pomsets: a categorical view, Technical Report B.R.A-ESPRIT
DEMON. TR 193, 1991
IR2 P.Degano, S.Kasangian e S.Vigna, On the
construction of canonical representatives for bisimulation-based
equivalences, Technical Report TR45/p
IR3 S.Kasangian, F.Rossi, Automi e cofibrazioni, Quaderni matem. Univ.Trieste, II,
n? 33, 1981.
IR4 A.Carboni S.Kasangian e R.F.C.Walters, Some basic facts about bicategories and
modules,
Quaderno 6, 1985, Dipart. di Matem. Univ. di Milano.
IR5 S.Kasangian, R.Rosebrugh, Internalizing non-deterministic and fuzzy
automata, Mount Allison University Report, 1989.
IR6 C.Diamantini,S.Kasangian, L.Pomello e C.Simone, Elemenatry Nets and 2categories,
Technical Report C.N.R. TR 4 .29 (I), 1991
