James Earl Douglas
About me
When not knee-deep in type theory, I can be found running, cycling, and stargazing around the San Francisco Bay Area.
My work
When not knee-deep in type theory, I can be found running, cycling, and stargazing around the San Francisco Bay Area.