Laura Semini si è laureata in matematica presso lUniversità di Padova nel 1990, e ha conseguito il Dottorato di Ricerca in Informatica presso lUniversità 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 dellUniversità di Firenze.
E ricercatore universitario (ssd inf/01-informatica) presso il Dipartimento di Informatica dellUniversità 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 dellUniversità di Pisa.