Get my own profile
Co-authors
aspertiUniversity of BolognaVerified email at cs.unibo.it
Stefano ZacchiroliUniversité de Paris and Inria, FranceVerified email at irif.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 CondoluciPh.D. from University of BolognaVerified email at unibo.it
Dominic MulliganStaff Research Engineer, Arm ResearchVerified email at arm.com
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
Volker SorgeReader in Scientific Document Analysis, University of BirminghamVerified email at cs.bham.ac.uk
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Fabio VitaliProfessor of Computer Science, University of BolognaVerified email at unibo.it
Silvio ValentiniUniversità di PadovaVerified email at math.unipd.it
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
James McKinnaUniversity of EdinburghVerified email at ed.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
François BobotVerified email at bobot.eu
Claudio Sacerdoti Coen
Verified email at unibo.it - Homepage