Kevin Hartman
Senior Software Engineer at Microsoft
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolKevin Hartman is a senior software engineer with 13 years of experience building high-performance systems at Microsoft and IBM, currently focused on Xbox game preservation and emulator technology. He’s a proven open-source maintainer and backend developer in the quantum computing space—having shaped Qiskit's direction, rewritten core data structures in Rust to cut compiler memory by up to 70%, and contributed to the Q# compiler and QIR generation. His background spans low-level C++ systems, large-scale data processing, and cloud storage features, reflecting a strong cross-domain systems engineering skillset. Passionate about interactive art and music, he brings an unusual creative lens to technical problems, often favoring elegant, efficient implementations. Based in Cambridge, MA, Kevin combines research-grade compiler work with production engineering at scale, making him comfortable shipping both experimental and mission-critical code.
13 years of coding experience
12 years of employment as a software developer
Bachelor of Science (BS), Computer Software Engineering, Bachelor of Science (BS), Computer Software Engineering at Rochester Institute of Technology
English
Stackoverflow
391reputation
18kreached
3answers
1question
Github Skills (15)
unit-testing10
circuit10
quantum-computing10
fsharp10
transcode10
qiskit10
csharp10
python10
transpiler10
dotnet-core10
test-automation10
xml9
constexpr6
apache-spark6
spark-streaming6
Programming languages (16)
Github contributions (5)
Qiskit/qiskit
Oct 2021 - Nov 2022
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
Role in this project:
Backend Developer
Backend DeveloperContributions:1 release, 911 reviews, 14 commits in 1 year
Contributions summary:Kevin's commits primarily focus on modifying and refactoring the codebase related to quantum circuit manipulation within the Qiskit framework. A significant portion of the work involves deprecating the MCMT label feature, including code adjustments, documentation updates, and test case modifications. The user also addressed multiple bug fixes and optimizations, especially for the "RemoveFinalMeasurements" pass. They show proficiency in the area of circuit transformation and transpilation.
pythonquantum-circuitsquantum-computingcircuitsquantum-circuit
microsoft/qsharp-compiler
Nov 2020 - May 2021
Q# compiler, command line tool, and Q# language server
Role in this project:Back-end Developer
Back-end DeveloperContributions:28 reviews, 5 commits, 8 PRs in 6 months
Contributions summary:Kevin primarily worked on the Q# compiler, focusing on improving the documentation within the code using XML exception tags in both C# and F#. They also addressed issues and added enhancements related to the compiler's core functionality. The contributions include changes to the compilation manager, syntax generation, and QIR generation, which is crucial for generating QIR code. Moreover, the user made code adjustments to improve doc generation and fixed doc errors.
command-line-toolqdkqsharpcompilerquantum-development-kit
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.