CHIARA BODEI. Computer Science Associate Professor, University of Pisa. Email verificata su unipi.it. ArticoliCitata daAccesso pubblico. Titolo.
His research interests fall in the area of semantic theories for concurrent programming and specification languages. He is also interested in the development of ...
List of computer science publications by Chiara Bodei.
Her research focuses on formal verification of security protocols, in particular e-voting, using formal techniques or provable security. She is editor in chief ...
Non ti si può raccontare, ti si deve vivere 💙 #sardegna #sardinia #holiday #love #home #family #friends #friendszone #friendship #unavitainvacanza #bluesky ...
CHIARA BODEI Dipartimento di Informatica, Universit`a di Pisa Corso Italia, 40, I-56125 Pisa, Italy [email protected] The paper defines a taxonomy of ...
Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Lecture Notes in ...
Author Picture Chiara Bodei. Dipartimento di Informatica, Università di Pisa, Pisa, Italy · Author Picture Lorenzo Ceragioli. Dipartimento di Informatica, ...
Italian computer scientist (1968-)
Chiara Bodei. Associate Professor at Università di Pisa. Pisa. Università di Pisa · Chiara Bodei. Responsabile amministrazione presso Sergen S.r.l.. Rezzato.