Cesar聽Cortes

Principal Software Engineer at Microsoft

United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

馃ぉ
Rockstar
馃帗
Top School
Cesar Cortes is a Principal Software Engineer at Microsoft with nine years of experience architecting compiler and systems-level software, currently focused on quantum computing and the Q# compiler. He combines a strong academic foundation in physics (MS, University of Washington) and computer engineering with hands-on expertise improving compilation performance, diagnostics, and tooling. At Microsoft he progressed from Software Engineer to Principal, driving optimizations, event tracing, and performance-data pipelines that make quantum program compilation more reliable and measurable. An active contributor to the widely used microsoft/qsharp-compiler, he brings a rare blend of low-level systems thinking and practical developer ergonomics to cutting-edge quantum software.
code9 years of coding experience
job11 years of employment as a software developer
bookMaster of Science - MS Physics, Master of Science - MS Physics at University of Washington
bookBachelor of Engineering - BE Computer Engineering, Bachelor of Engineering - BE Computer Engineering at Tecnol贸gico de Monterrey
github-logo-circle

Github Skills (5)

compiler-design10
csharp10
dotnet-core10
json8
quantum-computing7

Programming languages (7)

C#C++Q#RustJupyter NotebookF#Python

Github contributions (5)

github-logo-circle
microsoft/qsharp-compiler

Feb 2020 - Jan 2023

Q# compiler, command line tool, and Q# language server
Role in this project:
userBack-end Developer
Contributions:385 reviews, 237 commits, 106 PRs in 3 years
Contributions summary:Cesar's contributions center on enhancing the Q# compiler, specifically focusing on performance measurements and optimization. They implemented features for tracking compilation events, including data gathering, warning display, and writing performance data to files. Further, the user worked on fixing bugs and integrating new functionalities related to the Q# compiler. The changes suggest an understanding of compilation processes and a focus on improving the tool's performance and usability.
command-line-toolqdkqsharpcompilerquantum-development-kit
Contributions:44 pushes, 1 branch in 9 months
Find and Hire Top DevelopersWe鈥檝e 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.
Request Free Trial