My research focuses on attestation, verification, and language design. Below is a collection of my active pipelines, published work, and archived experiments.
My research focuses on attestation, verification, and language design. Below is a collection of my active pipelines, published work, and archived experiments.