John Campora

Quantum Compiler Engineer at Quantinuum

Broomfield, Colorado, 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

👤
Senior
🎓
Top School
John Campora is a Quantum Compiler Engineer at Quantinuum with 12 years of software engineering experience and deep academic roots in programming language theory. Based in Broomfield, Colorado, he blends practical compiler engineering with research-honed skills in type systems, cast insertion for gradually typed languages, and LLVM-driven tooling. He progressed from building full-stack MVC.NET applications and teaching data structures to conducting Haskell, Python, and Racket compiler research during his graduate work at the University of Louisiana at Lafayette. His background includes hands-on instruction in systems and assembly programming, giving him a keen appreciation for low-level code generation and performance tradeoffs. At Quantinuum he applies this combination of theory and systems experience to advance quantum compilation pipelines—bringing classical compiler rigor to emerging quantum runtimes. Colleagues value his ability to translate formal PL concepts into practical compiler passes that ship in production.
code12 years of coding experience
job4 years of employment as a software developer
bookBachelor's Degree, Computer Science, 3.5 out of 4.0 cumulative GPA, Bachelor's Degree, Computer Science, 3.5 out of 4.0 cumulative GPA at University of Louisiana at Lafayette
github-logo-circle

Github Skills (48)

tla9
intellisense9
specification9
llvm-ir9
quantum-computing8
idris8
core-library8
simulator8
functional-programming7
tooling7
language-service7
dotnet7
netcore7
csharp6
visual-studio6

Programming languages (8)

C#C++RustCLLVMTeXF#Python

Github contributions (5)

github-logo-circle
peter-campora/qir-spec

Jun 2023 - Feb 2025

Contributions:1 review, 3 PRs, 26 pushes in 1 year 8 months
Contributions:8 pushes, 1 branch in 1 year 11 months
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.
Request Free Trial
John Campora - Quantum Compiler Engineer at Quantinuum