Laura Semini

Sede ufficiale: LARGO BRUNO PONTECORVO, 3, 56127 PISA

Email: laura.semini@unipi.it

Telefono: 050 221 2783

Sito web: www.di.unipi.it/~semini

Profilo

Ruolo: Ricercatore Universitario

Struttura: Dipartimento di Informatica

Settore scientifico-disciplinare: Informatica INFO-01/A

Laura Semini si è laureata in matematica presso l’Università di Padova nel 1990, e ha conseguito il Dottorato di Ricerca in Informatica presso l’Università di Pisa nel 1995. Durante il dottorato è stata ospite del Computer Science Department, Washington University, St. Louis, Missouri, USA,

Successivamente ha lavorato come post-doc presso il Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, con una borsa Marie Curie, programma “Training and Mobility of Researchers”, presso il Consorzio Pisa Ricerche e presso il Dipartimento di Sistemi e Informatica dell’Università di Firenze.

E’ ricercatore universitario (ssd inf/01-informatica) presso il Dipartimento di Informatica dell’Università di Pisa dal 2000.

I suoi interessi scientifici riguardano l'ingegneria del software, con particolare interesse per la definizione di metodi e sistemi di modellazione di sistemi distribuiti e sistemi basati sui servizi. Recentemente si è interessata all'uso di politiche per la specifica e l'attuazione di requisiti non funzionali, quali QoS, sicurezza, efficienza. Inoltre si dedica da sempre a temi di verifica statica per sistemi concorrenti e distribuiti, con tecniche di interpretazione astratta, theorem proving e model checking.

Ha partecipato a numerosi progetti di ricerca, sia in ambito nazionale che europeo. Ha tenuto numerosi corsi universitari (laurea triennale e magistrale) sulle materie summenzionate. Ha fatto parte della Giunta di Dipartimento e del Comitato di Presidenza di Facoltà, attualmente fa parte del Collegio di Disciplina dell’Università di Pisa.

Didattica

Attività didattica

Incarichi di responsabilità didattica di moduli/insegnamenti



Ricevimento

Modalità:

Luogo: Ufficio, oppure mandatemi una mail e ci troviamo su Teams, codice team: 87agpt8

Orario: Giovedì 11-13 durante il periodo di lezione, oppura su appuntamento

Ricerca

Pubblicazioni