Paolo Teti
System Architect World Class Engineer at Alstom
Bologna, Emilia-Romagna, Italy
Summary
👤
Senior🎓
Top SchoolPaolo Teti is a System Architect and World Class Engineer with 11+ years designing safety-critical Automatic Train Control and ETCS platforms at Alstom in Bologna. He blends deep embedded and systems expertise with hands-on performance work—contributing to prominent open-source projects like Rust's compiler-builtins and stdarch to optimize ARM floating-point and SIMD intrinsics. His background spans software architecture, release management, and Linux sysadmin work across defense and transport domains, giving him a pragmatic focus on reliability and real-time constraints. A spare-time hacker, he routinely applies low-level optimization and rigorous static-analysis fixes from personal GitHub contributions, signaling a commitment to code quality beyond his day job.
11 years of coding experience
6 years of employment as a software developer
Master, Computer Science, Master, Computer Science at Università di Pisa
Italian, English
Github Skills (25)
assembly10
intrinsics10
float3210
nat10
messaging10
memory-management10
c1110
message-queue10
c1710
low-level-programming10
performance-optimization10
assembler10
ncclient10
simd10
arm10
Programming languages (7)
Github contributions (5)
rust-lang/compiler-builtins
Jan 2018 - Sep 2018
Porting `compiler-rt` intrinsics to Rust
Role in this project:
Back-end Developer & Performance Engineer
Back-end Developer & Performance EngineerContributions:30 commits, 13 PRs, 5 comments in 8 months
Contributions summary:Paolo primarily contributed to the `compiler-builtins` repository by implementing and optimizing floating-point intrinsics, particularly focusing on ARM architecture. They added support for VFP (Vector Floating-Point) intrinsics like `mul/div[s/d]f3vfp`, `add/sub*f3vfp`, and other VFP comparison functions. These changes involved modifying build scripts and source code, along with adding test cases to ensure the correct functionality of the implemented intrinsics. The user also addressed build issues and fixed code, improving the project's overall performance.
rustintrinsicscompilercompiler-rtporting
rust-lang/stdarch
Jul 2018 - Mar 2019
Rust's standard library vendor-specific APIs and run-time feature detection
Role in this project:Back-end Developer
Back-end DeveloperContributions:11 commits, 8 PRs, 17 comments in 7 months
Contributions summary:Paolo primarily contributes to the `rust-lang/stdarch` repository, focusing on implementing ARM DSP intrinsics. Their work involves adding new intrinsics for signed saturating arithmetic and other DSP operations. They also refactor code, remove portable vector types, and fix documentation issues. The contributions are centered around low-level system programming and SIMD optimizations using Rust.
simdvendorfeature-detectionruststandard-library
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.