Laura Bussi (Preferred)
Laura Bussi
Postdoc, Interdisciplinary Center for Security, Reliability and Trust, University of Luxemburg
Joined
May 2025
Names
Emails
****@uni.lu (Confirmed)
****@live.it (Confirmed)
****@uva.nl (Confirmed)
Personal Links
Career & Education History
Postdoc
Interdisciplinary Center for Security, Reliability and Trust, University of Luxemburg (uni.lu)
2025 – Present
Postdoc
Istituto di Scienze e Tecnologie dell'Informazione, CNR (isti.cnr.it)
2024 – 2025
PhD student
Department of Computer Science , Universita' di Pisa, University of Pisa (di.unipi.it)
2020 – 2024
MS student
Department of Computer Science, Universita' di Pisa, University of Pisa (di.unipi.it)
2018 – 2020
Undergrad student
Department of Computer Science, Universita' di Pisa, University of Pisa (di.unipi.it)
2015 – 2018
Advisors, Relations & Conflicts
Coauthor
Nick Bezhanishvili
2024 – Present
Coauthor
David Gabelaia
2024 – Present
Coauthor
David Fernandez-Duque
2024 – Present
Coauthor
Mieke Massink
2021 – Present
Coauthor
Diego Latella
2021 – Present
Coauthor
Roberto Di Cosmo
2019 – Present
PhD Advisor
Vincenzo Ciancia
2020 – 2024
Expertise
Logic
2020 – Present
Model Checking
2020 – Present
Formal Methods
2020 – Present