SABADINI NICOLETTA | Università degli studi dell'Insubria

E-mail

Numero telefonico

031 238 6315

Laurea in Fisica presso l''Università degli Studi di Milano, ottobre 1980, con il voto di 110/110 e lode. Ha svolto attività istituzionale presso il Dipartimento di Informatica dell''Università degli Studi di Milano come Ricercatore dal 1984 e Professore di II fascia dal 1989. Ha vinto il concorso per Professore di I fascia nel 1994.
Presso l''Ateneo degli Sudi dell''Insubria ha svolto la seguente attività istituzionale: Presidente del Corso di Laurea in Matematica dal 1998 al 2001, Presidente del Corso di Laurea in Scienze e Tecnologie dell''Informazione AA 2001- 2011, Vice Direttore del Dipartimento di Scienze della Cultura, Politiche e dell''Informazione dal 2001 al 2009, Delegato del Magnifico Rettore per l''Informatica dal 2004, membro del CTS Cineca e Cilea, membro del Senato Accademico dal 2009.
E'' Direttore del Centro di Servizi di Ateneo Sistemi Informativi e Comunicazione dal 2006.
Ha fatto parte di numerose Commissioni di Ateneo su incarico del Magnifico Rettore ed è attualmente membro della Commissione Scientifica.
E'' stata membro del Collegio Docenti dei Dottorati di Ricerca in: Informatica -Università di Milano, Informatica- Università dell''Insubria ed attualmente dei Dottorati in Matematica del Calcolo- Università dell''Insubria, Simboliche degli ambienti naturali e culturali- Università di Messina.
Membro di numerose Commissioni di concorso sia nazionali che di Ateneo.

Ricerca

Portale IRInSubria

Pubblicazioni in evidenza

P. Katis, N. Sabadini, R.F.C. Walters, Bicategories of processes. Journal
of Pure and Appled Algebra, 115:141-178, 1997.
Katis P, Sabadini N, Walters RFC, ReRepresenting P/T nets in Span(Graph)
Proceedings AMAST '97, SLNCS 1349, 307-321, 1997.
P. Katis, N. Sabadini, R.F.C. Walters, SpanSpan(Graph): an algebra of
transition systemsceedings AMAST '97, SLNCS 1349, 322-336, 1997
R. Rosebrugh, N. Sabadini, R.F.C. Walters, MinimaMinimal realization in
bicategories of automata 8:93-116, 1998
P. Katis, N. Sabadini, R.F.C. Walters, On the algebraOn the algebra of feedback and
systems with boundaryeminar on Sheaves and Logic, TRIESTE
28-29 November 1998
P.Katis, N. Sabadini, R.F.C. Walters, A formalis A formalisation of the IWIM Model.. COORDINATION 2000,(Eds.) Porto A., Roman G.-C., LNCS
1906:267-283, Springer Verlag, 2000.
P. Katis, N. Sabadini, R.F.C. Walters, On the algebrOn the algebra of systems with
feedback & boundary,l Circolo Matematico di Palermo Serie
II, Suppl. 63 (2000), 123-156
P. Katis, N. Sabadini, R.F.C.Walters, Concurrency & ReConcurrency & Recursion, FICS, Florence September 2001.
F. Gadducci, U. Montanari, P. Katis, N. Sabadini, R.F.C. Walters,
Comparing Cospan-sComparing Cospan-spans & Tiles via a Hoare-style process calculus 62, TOSCA Udine November 2001.
P. Katis, N. Sabadini, R.F.C. Walters, Feedback, trace andFeedback, trace and fixed-point semanticsics Appl. 36:181-194 (2002)
N. Sabadini, R.F.C.Walters, Categorical algebrasCategorical algebras of automatasession on Semigroups Automata and Formal Languages, AMS-UMI
meeting Pisa, 12-16 June 2002, Notices of the American Mathematical Society
N. Sabadini, R.F.C. Walters, Hierarchical automata Hierarchical automata and P systems, 1-15, 2003.
P. Katis, N. Sabadini, R.F.C. Walters, Compositional minimizatCompositional minimization in Span(Graph): Some exampleseoretical Computer
Science 104C, pp. 181-197, 2004.
A. Cherubini, N. Sabadini, R.F.C. Walters, Timing in the Cospan-SpanTiming in the Cospan-Span Modeoretical Computer Science 104C, pp. 81-97,
R. Rosebrugh, N. Sabadini, R.F.C. Walters, Generic commutative separaGeneric commutative separable algebras and cospans of graphsf Categories, 15,
264-177, 2005.
M. Menni, N. Sabadini, R.F.C. Walters, A universal property of the A universal property of the monoidal 2-category of cospans of ordinals and surjectionsf Categories, Vol. 18, pp 631-653, 2007.
R. Rosebrugh, N. Sabadini, R.F.C. Walters, Calculating colimits
composCalculating colimits
compositionally,065, pp. 581?592, 2008.(also
arXiv:0712.2525)
P. Katis, N. Sabadini, R.F.C.
L. de Francesco Albasini, N. Sabadini, R.F.C. Walters, The parallel
composition of procThe parallel
composition of processestems using
Transition systems, 111--121, Forum, Udine, 2008 (also arXiv:0904.3961).
L. de Francesco Albasini, N. Sabadini, R.F.C. Walters, Systems with
discrete geometry, ART 2008, Analysing Reduction systems using Transition
systems, 122--131, Forum, Udine, 2008.
L. de Francesco Albasini, N. Sabadini, R.F.C. Walters, Cospan
Span(Graphs): a compositional moCospan
Span(Graphs): a compositional model for reconfigurable automata netsheory, Cremona, Italy, 9-11 October
2008.
L. de Francesco Albasini, N. Sabadini, R.F.C. Walters, ThThe compositional
construction of Markov processespplied Categorical Structures, (also
arXiv:0901.2434), July 2010.
L. de Francesco Albasini, N. Sabadini, R.F.C. Walters, An alAn algebra of
automata which includes both classical and quantum entities,pear in
proceedings QPL09, ENTCS, (also arXiv:0901.4754).
L. de Francesco Albasini, N. Sabadini, R.F.C. Walters, The composThe compositional <