I’m Linus, a PhD student in Computer Science at UT Austin working with Professor Isil Dillig. I’m interested in creating tools for programmers to make difficult and error-prone coding tasks into simple ones. You can see some of my past projects here.