Gabriele Ara
CPU Verification Software Tools Engineer
Tuscany, Italy
Summary
👤
Senior🎓
Top SchoolGabriele Ara is a CPU verification software tools engineer at Arm with over a decade of hands-on experience in system programming, real-time and embedded systems. He holds a PhD in Computer Engineering from Scuola Superiore Sant'Anna and was a visiting PhD researcher at ETH Zürich, blending rigorous academic research with practical tool development. His background spans computer architectures, task scheduling, virtualization and cloud computing, complemented by multiple publications and contributions to technical manuals on Android development. Comfortable switching between low-level system design and higher-level software engineering, he brings a proven ability to translate complex theoretical insights into reliable verification tools. Based in Tuscany, he combines Italian academic honors with industry-grade engineering discipline and a persistent curiosity for solving intricate problems.
11 years of coding experience
1 year of employment as a software developer
Istituto Tecnico Industriale Statale "Galileo Galilei", LivornoDoctor of Philosophy - PhD, Computer Engineering, with Honors, Doctor of Philosophy - PhD, Computer Engineering, with Honors at Scuola Superiore Sant'AnnaBachelor's degree, Computer Engineering, 110/110 cum laude, Bachelor's degree, Computer Engineering, 110/110 cum laude at Università di Pisa
English, Italian
Stackoverflow
61reputation
995reached
0answers
1question
Github Skills (53)
distributions8
tauri7
gdb6
devcontainer6
linux6
github6
debugging6
git6
visual-studio-code6
configurations5
performance-tuning5
desktop4
musl4
docker4
development-environment4
Programming languages (10)
Github contributions (5)
gabrieleara/dev_environment
May 2021 - Dec 2022
A set of Docker environments with my typical development configurations.
Contributions:5 PRs, 90 pushes, 7 branches in 1 year 7 months
devcontainersdocker-environmentsremote-developmenttypicaldocker
gabrieleara/PARTSim
Dec 2021 - Apr 2023
Contributions:1 review, 50 pushes, 12 branches in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.