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.

Antal Spector-Zabusky
Add to my network

Location

Brooklyn, New York, United States