Hristian Kirtchev
Rust Tech Lead at AdaCore
Varna, Varna, Bulgaria
Summary
👤
Senior🎓
Top SchoolHristian Kirtchev is a Rust Tech Lead with 20 years of experience specializing in compiler design, code generation, and high-integrity languages such as Ada and SPARK 2014. At AdaCore he combines project management and technical leadership—co-authoring the Ferrocene Language Specification and helping drive an ISO 26262 qualification effort for rustc—while scouting new Rust tooling products and business cases. His background spans deep compiler work on GNAT Pro, SPARK toolchains, and safety-critical code generators like QGen, plus a stint at Google on geographic data search. He blends hands-on research, architecture, implementation, and training, with a track record of delivering certifiable toolchains for avionics and safety domains. Based in Varna, Bulgaria, he pairs rigorous academic foundations (GWU BS, NYU MS) with practical multi-national collaboration and a knack for translating formal language specs into shipping engineering artifacts.
20 years of coding experience
17 years of employment as a software developer
Master of Science (M.S.), Computer Science, Master of Science (M.S.), Computer Science at New York UniversityBachelor of Science (B.S.), Computer Science, Bachelor of Science (B.S.), Computer Science at The George Washington University
Github Skills (33)
web-platform10
tla10
orientdb10
specification10
rust10
rfc10
gcc9
gcc-compiler9
solaris9
ada9
sun9
compiler8
linux8
rust-lang7
standard-library7
Programming languages (4)
Github contributions (5)
ferrocene/specification
Jul 2022 - Nov 2022
Ferrocene Language Specification
Contributions:271 reviews, 127 commits, 54 PRs in 3 months
web-platformspecification-languagespecificationtlaorientdb
kirtchev-adacore/kirtchev-adacore-rust-lang-rfcs
Jan 2024 - Jan 2024
RFCs for changes to Rust
Contributions:3 pushes, 1 branch in 5 days
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.