It looks like you're new here. If you want to get involved, click one of these buttons!
I'm a software engineer in London interested in using functional programming and type theory to make software better (for a nice definition of better).
Before I got into software development I completed a PhD in Algebraic Geometry. Category Theory was very useful in my studies and research so I was thrilled to see that the same ideas have applications in software engineering. I'm excited to explore this more with everyone.