I'm a graduate student working, broadly, in artificial intelligence. I am interested in all intersections of AI, logic (particularly computability theory), philosophy and physics.