영어
Brett Gilio
Brett Gilio
@brettgilio
Researcher in formal methods and programming language theory.
설명
Welcome to the personal website of Brett Gilio. I am a programmer and researcher in compiler construction, 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.
팀
brettgilio 님은 1개 팀의 회원입니다:
역사
brettgilio 님은 4년 전에 가입했습니다.