Laura Bussi
PhD candidate
Dept. of Computer Science
University of Pisa


050 221 23146

My research interests

Modal logics

Model checking

Model theory

My recent publications

On binding in the Spatial Logic for Closure Spaces

L. Bussi, V. Ciancia, F. Gadducci, D. Latella, M. Massink (ISoLA 2022)

Soft concurrent constraint programming with local variables

L. Bussi, F. Gadducci, F. Santini (COORDINATION 2022)

Find out more here!

My teaching activities

Advanced Programming 2020 - 2021 - 2022 @ Unipi (teaching fellow)

Logics for Programming 2018 - 2019 @ Unipi (counselor)

Introduction to Micro:Bit programming 2019 @ Unipi (teacher)

Other activities

Docent at the Museum of Computing Machinery, Pisa