I got the opportunity to talk about how I came to do research in PL, what my research is about, and ramble a bit about why I think Coq is great.
If you want to read more, [check out my interview](https://www.cs.cmu.edu/~popl-interviews/jung.html).
Be sure to also [have a look at the other interviews](https://www.cs.cmu.edu/~popl-interviews/).
I got the opportunity to talk about how I came to do research in PL, what my research is about, and ramble a bit about why I think Coq is great.
If you want to read more, [check out my interview](https://www.cs.cmu.edu/~popl-interviews/jung.html).
Be sure to also [have a look at the other interviews](https://www.cs.cmu.edu/~popl-interviews/).