I’ve been lurking on this forum for a few weeks, but I just joined one of the virtual meetups so I figured I should introduce myself.
I’m a PhD candidate at the Programming Languages research group at TU Delft. You can find links to my research on my academic homepage. I’ve tried to write a blog on and off, which is more about side projects, but it’s difficult to find time for it next to the PhD itself.
I’m generally excited about anything to do with programming languages, but things I’ve worked on a bit are DSL design, control- and data-flow analysis, gradual type systems, and term rewriting. I hope to contribute with what knowledge I already have, and gain more from the others here