I’m computer science faculty based in Portland, OR.

In a former career, my academic interests and research was in:

  • higher-dimensional type theories
  • mathematical logic
  • proof assistants
  • and making all of the above more accessible outside academia

My informal work is largely in philosophy: specifically in phenomenology, intentionality, and theories of hybrid consciousness and thinking.