Guilherme Piccoli is an author at ETH Zurich specializing in computer architecture, formal verification, and computer science.
Top concepts
CompilersEngineeringSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisParallel ComputingFormal VerificationComputer Engineering
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1