Description: A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
jekyll (1596) portfolio-website (1347) academic-website (1065) jekyll-theme (974)
Dongjae Lee Research Assistant at Software Foundations Lab, Seoul National University
I am interested in program verification. Specifically, I investigate what it means for a program to be correct, develop proof techniques, and write programs and prove them correct.
I have worked on, and am working on, verified compilers, concurrency, security, and developing proof techniques.