about
research
projects
presentations (current)
notes
skills

Deductive Proof vs. Model Checking

Presented at Northwestern Undergraduate Research Expo, Spring 2026.

Download slides (PDF)

© Copyright 2026 Eric Yang. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages.