My name is David Thien. I’m currently a 3rd year PhD student at UCSD in the ProgSys lab advised by Deian Stefan. My work is centered around around applying programming language and systems techniques to solve verification and security problems.