Kyle Raftogianis
Berkeley, California, United States
Summary
🤩
Rockstar🎓
Top SchoolKyle Raftogianis is a software engineer based in Berkeley with 13 years of experience applying mathematical rigor to build robust, verifiable systems. He has shipped infrastructure and simulation tooling at Google, contributed to language and compiler work at Facebook’s Skip team, and worked on high-reliability systems at Jane Street. His interests span formal verification, theorem proving, functional programming, distributed systems, DSLs, and databases, and he brings those into practical solutions like refactoring dependency resolution for the multilingual Arch package manager Aura. At UC Berkeley he led course infrastructure used by thousands of students, demonstrating a knack for scalable education tooling and developer ergonomics. He combines academic grounding in math and CS with production experience designing domain-specific languages and automated testing pipelines, favoring provable correctness and reproducible workflows.
13 years of coding experience
5 years of employment as a software developer
Bachelor’s Degree Mathematics and Computer Science, Bachelor’s Degree Mathematics and Computer Science at University of California, Berkeley
Github Skills (11)
algorithm10
data-structures10
algorithms10
build-system10
aura-framework10
rust10
package-manager10
archlinux10
dependency-resolution10
data-structure10
pacman10
Programming languages (15)
Github contributions (5)
fosskers/aura
Jul 2013 - Aug 2013
A multilingual package manager for Arch Linux and the AUR.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:24 commits in 11 days
Contributions summary:Kyle significantly refactored the dependency algorithm for the package manager, improving its speed and efficiency. They implemented a new dependency resolution system using concrete package types and a repository system to fetch packages from various sources like the AUR. Furthermore, the user updated the installation process, integrating the new dependency resolution system to manage pacman and buildable packages. They also improved error handling and refactored code across multiple modules.
secureaurahaskellpackage-managerpacman
knrafto/email-header
Jun 2013 - Jan 2022
A Haskell library for parsing and rendering email and MIME headers
Contributions:117 commits, 3 PRs, 6 pushes in 8 years 7 months
haskell-libraryhaskellemailheaders-mimeparsing
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.