My research is about using techniques from formal methods and program verification to certify cryptographic implementations and proofs.
I am on the job market this year! Please reach out if your department is hiring. You can find my application materials here .