Sign In

Antal Spector-Zabusky

Quantum Compiler Engineer & Functional Programmer

Antal Spector-Zabusky is a programming language designer, compiler engineer, and functional programmer with a strong background in OCaml and Haskell.

He holds a PhD in programming languages and formal verification from the University of Pennsylvania, and a BA in Computer Science from Williams College, with additional studies in Mathematics at Budapest Semester in Mathematics.

Antal has worked as a Senior Compiler Engineer at Rigetti Computing and as a Compiler Engineer at Jane Street.

His expertise lies in the type system and front-end components of the OCaml compiler, demonstrating a passion for language design, functional programming, software correctness, and computer-aided theorem proving.

He excels in crafting elegant code and providing clear explanations, aiming for both technical excellence and effective communication.

Highlights

May 7 · linkedin

I’m happy to share that I started a new position as a Senior Compiler Engineer at Rigetti Computing yesterday! I’m excited to be working on compilers for our quantum processors! I’m onboarding out here in Berkeley for the next 10 weeks

Antal Spector-Zabusky
Add to my network

Location

Brooklyn, New York, United States