I'm a logician and philosopher of mathematics turned research software engineer, working at Draper laboratory. I'm also the creator of Carnap, a free and open-source software framework for working with formal systems (check it out here).
Areas of Specialization
| Logic and Philosophy of Logic |
| Philosophy of Mathematics |
| Philosophy of Computing and Information |