GavinMendelGleason

GavinMendelGleason avatar
Active user
1 year ago by invitation from LukeEF
14, averaging 7.00 per story/comment
1, most commonly tagged databases
1

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