Seattle, United States
Jacob is an experienced engineer with BSc degrees in both mathematics and computer science. Like many engineers he is concerned that systems tend to get more complex and less maintainable over time. For projects with well understood objectives, he anticipates academic approaches like programming language semantics, type theory, and formal verification will be necessary to assure correctness and security. To that end he enjoys studying languages like Coq, Haskell, Idris, and miniKanren.
4314 D281 8A29 92DF 9019 C63B 3AA6 37B6 40FD F274