Avatar

Brett Gilio
@brettgilio

Researcher in formal methods and programming language theory.

brettgilio has 0 patrons.

Statement

I am a hobbyist programmer and researcher in formal methods, constructive mathematics, type theory, category theory, and intuitionistic logic. I am also passionate about software freedom, functional programming, deterministic software, type safety, and enthusiastically opposing framework-driven programming.

History

brettgilio joined 2 months ago.

Income Per Week (in US Dollar)

Number of Patrons Per Week