I study core problems in artificial intelligence and ontology. I spend most of my time outside work trying to find excuses to move tiny marks around on pieces of paper.
Professionally, I run dmodel. Previously, I was at OpenAI and Google, and before that, I studied types with Ranjit Jhala and Wes Weimer, and strings with Diana Vaman and Peter Arnold.
You can reach me at anish@dmodel.ai or anish.137 on signal