Kevin Carlson
2,964
reputation
1
20
22
I'm a research software engineer at the Topos Institute in Berkeley. My mathematical training is in category theory. You can reach me at "my first name" "at" "topos.institute". (previous known as Kevin Arlin)