cora

I built soon.dating with alena—a talented artist & my best friend!

Before starting a company, I was a PhD student at UC Berkeley. I focused on logic (particularly fuzzy or many-valued logic). My research involved casting modal logic systems onto classical proof texts in Arabic & Greek.

I’ve formally studied classics, philosophy & mathematics at UC Berkeley, University of Cambridge (MPhil), Harvard University (master’s research) & University of Virginia (BA).

Outside of the academy, my research insterests lie in automated theorem proving. I hope to spend more time exploring there soon.

I live in San Francisco. You can find me playing go here on the weekends. Otherwise, I write, tinker away at soon & sometimes pick up my violin.

I’m reachable @ cora@euclideanlabs.com
or via Twitter dm

“Is this really the world? Shall I grieve? Shall I hope?”
-Adonis

welcome!

stuff coming soon