About Alexandre Pinazza

PhD Candidate in @systemf and VCA at @EPFL
I am working on linking verification proofs of hardware and software components.

Lists

Timeline

apinazza has no activity yet