GavinMendelGleason
GavinMendelGleason avatar
Active user with invites disabled
25 days ago by invitation from LukeEF
9, averaging 9.00 per story/comment
1, most commonly tagged philosophy
0

I’m a computer scientist interested in type theory and the application of formal methods to real world enterprise use cases.