Ricercatore Universitario – Dipartimento di Informatica | Tel.: 050 221 2783 – Email: laura.semini@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"3944","unipi-persone-nome":"Laura","unipi-persone-cognome":"Semini","unipi-persone-email":"laura.semini@unipi.it","unipi-persone-cv":"Laura Semini si \u00e8 laureata in matematica presso l\u2019Universit\u00e0 di Padova nel 1990, e ha conseguito il Dottorato di Ricerca in Informatica presso l\u2019Universit\u00e0 di Pisa nel 1995. Durante il dottorato \u00e8 stata ospite del Computer Science Department, Washington University, St. Louis, Missouri, USA,
\r\n
\r\nSuccessivamente 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 \u201cTraining and Mobility of Researchers\u201d, presso il Consorzio Pisa Ricerche e presso il Dipartimento di Sistemi e Informatica dell\u2019Universit\u00e0 di Firenze.
\r\n
\r\nE\u2019 ricercatore universitario (ssd inf\/01-informatica) presso il Dipartimento di Informatica dell\u2019Universit\u00e0 di Pisa dal 2000.
\r\n
\r\nI 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 \u00e8 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.
\r\n
\r\nHa 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\u00e0, attualmente fa parte del Collegio di Disciplina dell\u2019Universit\u00e0 di Pisa.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"","unipi-persone-luogo-ricevimento":"Ufficio, oppure mandatemi una mail e ci troviamo su Teams","unipi-persone-ore-ricevimento":"Venerd\u00ec 10.45-12.45 durante il periodo di lezione, oppure su appuntamento","unipi-persone-telefono":"050 221 2783","unipi-persone-sitoweb":"www.di.unipi.it\/~semini","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=009338","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=009338&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Informatica INFO-01\/A","unipi-persone-ruolo":"Ricercatore Universitario","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp11209","unipi-persone-pubblicazioni":"