Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
aspertiUniversity of BolognaVerified email at cs.unibo.it
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerified email at telecom-paris.fr
Luca PadovaniDipartimento di Informatica, Università degli Studi di TorinoVerified email at unito.it
Wilmer RicciottiUniversity of EdinburghVerified email at wilmer-ricciotti.net
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Andrea CondoluciPhD at University of BolognaVerified email at studio.unibo.it
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
François BobotVerified email at bobot.eu
Didier ParigotInriaVerified email at inria.fr