Francesco Petrogalli
Compiler Engineer at Apple
United States
Summary
🤩
Rockstar🎓
Top SchoolFrancesco Petrogalli is a compiler engineer with nine years of experience specializing in vectorizing compilers, high-performance computing and ABI definition for AArch64. He has held staff and senior engineering roles at Arm focused on polyhedral models and library optimization, and currently works on compilers at Apple. With a PhD in Cosmology and advanced degrees in mathematics, he combines deep theoretical training with practical systems engineering. His background spans both research secondments and production CPU engineering, bridging algorithmic innovation and real-world implementation. Outside of code he’s musically inclined—previously performing as a tuba/helicon player—which hints at a creative, collaborative approach to complex problems. He describes himself simply as “Code, music, people,” reflecting a balanced mix of technical rigor and human-centered teamwork.
9 years of coding experience
10 years of employment as a software developer
Bachelor's degree Mathematics, Bachelor's degree Mathematics at Catholic University of BresciaDoctor of Philosophy (PhD) Cosmology, Doctor of Philosophy (PhD) Cosmology at Università degli Studi di PerugiaMaster's degree Mathematics, Master's degree Mathematics at University of PerugiaITIS Castelli
English, Italian, Polish
Github Skills (65)
opencv10
libm10
simd-library10
python10
image-processing10
cortex10
quadruple-precision10
openmp10
deep-learning10
arm10
cpp10
armv710
clang10
fourier-transform10
modular10
Programming languages (11)
Github contributions (5)
ARM-software/acle
Mar 2021 - Jul 2022
Arm C Language Extensions (ACLE)
Contributions:4 releases, 311 reviews, 30 commits in 1 year 4 months
language-extensionsextensionsarmc-language
fpetrogalli/llvm-project
Aug 2023 - Mar 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Contributions:35 pushes, 18 branches in 1 year 7 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.