Jay Kruer

859-957-9065 • [email protected] • jaykru • linkedin

Experience

Projects

Skills

    Reinforcement Learning • Diffusion models • LLMs • PyTorch • Julia • C++ • Python
    Formal Verification • Pure math • Coq • Rust • SystemVerilog • Common Lisp • Haskell • OCaml

Education

Reed College

Portland, OR

B.A. in Mathematics and Computer Science | 2021

Thesis: The Way of Glue: An Invitation to the Categorical Metatheory of Lambda Calculi
Advisors: Angélica Osorno and Jim Fix