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.
linuszheng/linuszheng.github.io
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|