Jay Kruer

859-957-9065 • j@dank.systems • jaykru • linkedin

Experience

Projects

Skills

    Reinforcement Learning • Diffusion models • LLMs • PyTorch • JAX • Julia • C++ • Python
    Formal Verification • SVA (incl. IEEE 1800-2017) • Computer Architecture • Cadence JasperGold
    Rocq (née 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