Steve Dunham

dunhamsteve@mathstodon.xyz

<p>I&#39;m a former Math and Computer Science grad student turned software engineer. Recently I&#39;ve been revisiting the academic side of things, trying to learn type theory and category theory in my spare time.</p>