Gavin Mendel Gleason
Gavin Mendel Gleason

Gavin Mendel Gleason

A software engineer interested in improving the best practices of the software development community through the use of logic, mathematics and formal methods.