federicoops
Assistant Professor @Unipisa | Computer arithmetic, formal verification and open-hardware platforms
Universita` degli Studi di PisaPisa, Italy
federicoops's Following
- PeterCalifanoPolitecnico di Milano - DART Lab
- Deda-404
- DavideConficconiPolitecnico di Milano
- AIDABGI
- therealbons
- unipi-dii-mlverifItaly
- Project-ArgonautiItaly
- marianomoscatoAnalytical Mechanics Associates
- ForeseenPRINItaly
- motoreagattoimburrato@consulthinkspa
- asciaraMHPC
- lukevalenty@intel
- riscv-software-srcSwitzerland
- GiacomoMugnainiLeonardo S.p.A
- siliconcompiler
- eruffaldiMMI s.p.a.
- vdellacorte
- giadaanastasi
- silo95University of Pisa, Computer Engineering
- giuseppelettieriUniversity of Pisa
- elescarsPisa
- TanganelliUniversity of Pisa
- pjreddie
- Suffredini
- federicomassaMountain View, CA
- GabMartinoUniversity of Vienna
- fstorniolo
- Ffloriel@FullHuman
- psoftwareAlkeria Srl
- luigix25Red Hat