It looks like you're new here. If you want to get involved, click one of these buttons!
I'm a Computer Science PhD Student at Cornell. I've recently moved from doing Algorithms/ AGT to trying to get involved in programming language theory. I just finished our introduction to category theory for computer scientists course and fell in love with category theory, so I'm looking forward to learning more from this course.