Tu sei qui

Sabadini Nicoletta

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: 

Ha svolto una attività di ricerca principalmente nel settore dell'informatica teorica, occupandosi di teoria della complessità computazionale, di teoria dei linguaggi e degli automi e di metodi algebrici nella teoria della concorrenza.
In teoria della complessità, si è occupata di modelli di computazione sequenziali e paralleli (Macchine di Turing Alternanti, con Oracolo, di Conteggio, Random Access Machines con primitive aritmetiche).
Ha lavorato su linguaggi traccia alla Mazurkiewicz e su automi alla Zielonka.
Si occupa attualmente di modelli per sistemi complessi, con particolare interesse a modelli composizionali, probabilistici e temporizzati basati su automi, usando un approccio algebrico categoriale.
I risultati delle ricerche indicate sono stati presentati attraverso numerosi articoli a stampa e relazioni tenute in convegni nazionali ed internazionali.
Ha tenuto numerosi seminari, su invito, in università italiane e straniere. Ha fatto parte di Comitati Scientifici e Organizzatori per Conferenze nazionali e internazionali.
Responsabile di Unità locale per Progetti Cofinanziati Ministeriali 40% e Prin negli anni 1996-1997-1999-2001-2004-2005. Partecipa al Prin 2008.
Ha partecipato ai Progetti Europei ASMICS e AUTOMATHA 2004-2009.

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer