Contact

Get in touch.

If you're working on formal reasoning, AI + math, or neuro-symbolic systems, I'd like to hear from you. Also open to conversations about collaboration, roles, or anything in this space.