Riccardo Mancini
Senior Software Development Engineer at Amazon Web Services (AWS)
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolRiccardo Mancini is a Senior Software Development Engineer at AWS with 11 years of experience specializing in high-performance virtualization, kernel development, and cloud-native serverless infrastructure. He contributes to Firecracker, the lightweight VMM behind AWS Lambda, focusing on low-level Linux kernel optimizations and VM orchestration to squeeze out performance and reliability at scale. His academic work spans GP-GPU acceleration for query optimization and real-time virtualization, including a master thesis that produced a GPU join-order algorithm with dramatic speedups. A strong open-source advocate and long-time Linux user, Riccardo has upstream kernel contributions from a Google Summer of Code project that parallelized perf internals. He blends rigorous research training from top European institutions with practical production engineering at AWS, routinely tackling complex performance and scheduling problems. Notably, his background in real-time and hierarchical scheduling reveals a rare cross-disciplinary fluency between OS theory and cloud production systems.
10 years of coding experience
3 years of employment as a software developer
High School Diploma, Applied Sciences, 100/100 with honors, High School Diploma, Applied Sciences, 100/100 with honors at Liceo Scientifico Fulcieri Paolucci di Calboli, ForlìHonors student, ENGINEERING, 100/100 with honors, Honors student, ENGINEERING, 100/100 with honors at Scuola Superiore Sant'AnnaMaster's degree, Computer Engineering, 110/110 with honors, Master's degree, Computer Engineering, 110/110 with honors at Università di Pisa
Italian, English, German
Github Skills (49)
firecracker10
sandbox10
upstream10
open-source10
virtual-machine10
manjaro10
virtualization10
serverless10
rust10
linux9
distro9
self-organizing-map9
kernel8
zen8
libc7
Programming languages (7)
Github contributions (5)
Manciukic/threaded_napi
Jun 2019 - Dec 2020
Contributions:5 commits, 4 pushes, 1 branch in 1 year 6 months
Cloudslab/iGateLink
Aug 2019 - Sep 2019
Contributions:152 commits in 1 month
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.