Introduction: Ariella Smofsky

My name is Ariella and I am a functional programmer interested in theory of programming languages. I hope to eventually pursue graduate studies in theoretical computer science, particularly in probabilistic programming languages. I am interested in category theory's ability to create rigorous mathematical connections between seemingly unrelated topics.

This group seems like an excellent place to learn the basics of category theory! I am looking forward to trying to solve exercises and comparing my approach to others'.

Sign In or Register to comment.