Paolo Severini
Senior Software Engineer at Microsoft
Barcelona, Catalonia, Spain
Summary
🤩
Rockstar🎓
Top SchoolPaolo Severini is a Senior Software Engineer based in Barcelona with over two decades of professional experience and eight years in his current focused period delivering high-performance Microsoft-based systems. He specializes in low-level and server-side engineering—Win32, .NET, C++, C#, multithreaded architectures, network drivers and performance-tuned distributed services—while also shipping client-side and cloud solutions using JavaScript, XAML and Azure. At Microsoft and Criteo he drove full life-cycle projects using agile and TDD practices, bringing a pragmatic balance of design, diagnostics and optimization to complex codebases. Paolo is an active contributor to ChakraCore, improving backend compiler optimizations and fixing security-sensitive engine bugs, reflecting deep expertise in language runtime internals. He also explores functional programming with F# and has hands-on experience in multimedia/VoIP domains, which complements his systems-first mindset. Colleagues would call him a versatile problem-solver who blends long-term systems knowledge with practical, performance-oriented engineering.
8 years of coding experience
24 years of employment as a software developer
MD, MD at Università degli Studi di Genova
English, French, Italian
Github Skills (10)
compiler-optimization10
javascript10
c-language10
chakracore10
cpp10
backend10
cprogramming-language10
javascript-engine10
chakra10
back-end-development10
Programming languages (7)
Github contributions (5)
chakra-core/ChakraCore
Jun 2018 - Oct 2018
ChakraCore is an open source Javascript engine with a C API.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:26 commits, 10 PRs, 10 comments in 4 months
Contributions summary:Paolo contributed to the ChakraCore Javascript engine, primarily focusing on the backend and compiler optimizations. Their commits involved fixing bugs related to constant hoisting, getter/setter behavior, and type specialization. They also addressed a security vulnerability related to stack corruption with nested inline functions. The user further contributed to the core logic and optimization of the JavaScript engine.
javascript-enginechakracoreruntimemicrosoftc-api
paolosevMSFT/llvm-project
Sep 2019 - Jun 2024
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Contributions:32 pushes, 10 branches in 4 years 10 months
subversionclanglibgit2submitgit-mirror
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.