From 4c370170bf4945f5a31bac01a30098a37d0bb838 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 15 Dec 2017 17:14:06 +0100 Subject: [PATCH] edits --- ralf/_posts/2017-12-15-people-of-pl-interview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ralf/_posts/2017-12-15-people-of-pl-interview.md b/ralf/_posts/2017-12-15-people-of-pl-interview.md index 46f33b9..7289b85 100644 --- a/ralf/_posts/2017-12-15-people-of-pl-interview.md +++ b/ralf/_posts/2017-12-15-people-of-pl-interview.md @@ -5,7 +5,7 @@ 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/). They also asked me if I wanted to be part of this, and of course I accepted. -This was the first time I gave an interview like that, so needless to say, I was super excited! +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. 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/). -- 2.30.2