Eric Allen
AI and Logic
I am a Quantitative Engineer on the AI Innovation Team at Two Sigma. My background is in type systems, logic, and formal methods, applied to everything from knowledge representation to programming languages, proof assistants, reinforcement learning, and natural language processing. Since 2011 much of my work has been in machine learning, especially deep learning, and the questions that motivate me are where it meets logic.
Current work
- 2026
- 2025–present
Selected publications
- 2026
- 2021
- 2011
- 2004
- 2003
A First-Class Approach to Genericity Best Student Paper
Background
I was the founder and Chief Scientist of Acrisure Capital, a quantitative investment firm, and Chief Technology Officer of Tulco Labs, an AI incubator, and of several Tulco startups. Before that I was a researcher on Two Sigma’s AI Core Team, and a Principal Engineer at Sun Labs on Project Fortress, a DARPA-sponsored programming language for high-performance computing. I set up the first data science teams at Bazaarvoice and RetailMeNot around the time of their IPOs, and I have taught at Rice and at the University of Texas at Austin.
My PhD in computer science is from Rice University, where I worked with Robert Cartwright on generic types for Java. My bachelor’s degrees, in mathematics and in computer science, are from Cornell.