about

quick facts

who: jay kruer.

what (i am doing): investigating new techniques for approximate model checking at epiphany industries, llc.

when: now through ??? you tell me

where: bend, oregon.

with whomst: my super cool and fun wife jaclyn and our dog azula (aka zubert, zuzu, zula, zu, etc.) we love to climb, bike, ski, and hike together. see outsta for some pics of us in the wild :)

before

i most recently worked on training language models and building acceleration kernels at tenstorrent. before that, i worked on CPU formal verification at tenstorrent and intel. even before that, i worked as a research engineer at sifive.

i studied math/cs at reed college, where i wrote my thesis on the category-theoretic semantics of lambda calculus, specifically as applied to the open normalization problem for the simply-typed lambda calculus. it's pretty wild stuff, and i went to great pains to make it approachable to someone with a cursory background in programming language theory. check it out!

check out my resume for more.