cora kyler
I built soon.dating with alena titova—a talented artist & my best friend. Check out this article if you’re curious about what we’ve been up to!
Before starting a company, I was a PhD student at UC Berkeley. I focused on mathemtical logic (particularly fuzzy or many-valued logic). My former research involved casting modal logic systems onto classical proof texts in Arabic & Greek.
I’ve formally studied classics, philosophy & mathematics at UC Berkeley, Univeristy 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