X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/c120111161792b674381e534e31de18d99d7f6f3..b01ea6eb37bd201791375ac95bad460ba8081168:/personal/_posts/2017-12-15-people-of-pl-interview.md?ds=sidebyside diff --git a/personal/_posts/2017-12-15-people-of-pl-interview.md b/personal/_posts/2017-12-15-people-of-pl-interview.md index 7289b85..8722b4b 100644 --- a/personal/_posts/2017-12-15-people-of-pl-interview.md +++ b/personal/_posts/2017-12-15-people-of-pl-interview.md @@ -3,7 +3,7 @@ title: Interview for People of Programming Languages categories: research --- -[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({{ site.baseurl }}{% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/). +[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/). They also asked me if I wanted to be part of this, and of course I accepted. This was the first time I was asked to give an interview, so needless to say, I was super excited! 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.