Hristian Kirtchev

Hristian Kirtchev has gained extensive work experience in software engineering and project management roles. Hristian is currently employed at AdaCore as a Rust Tech Lead, where they serve as a Project Manager and Tech Lead for the Rust ecosystem. In this role, they contribute to the ISO 26262 qualification of the rustc compiler and is one of the authors of the Ferrocene Language Specification. Prior to this, Hristian worked as an SSI Software Engineer at AdaCore, where they were involved in the development of a prototype that aimed to link high-level tool requirements and safety properties expressed in SysML to low-level design and implementation in Simulink. Hristian was responsible for designing, implementing, testing, and documenting the prototype. Hristian also gained experience as a Software Engineer at Google and as a Senior Software Engineer at AdaCore, where they contributed to the development of the GNAT Pro compiler.

Hristian Kirtchev began their education in 1999 at The George Washington University, where they pursued a Bachelor of Science (B.S.) degree in Computer Science. Hristian completed their studies in 2003. Following that, from 2003 to 2005, Hristian attended New York University, where they focused on Computer Science and obtained a Master of Science (M.S.) degree.