User:Glaukon

I am doing a Phd in mathematical logic and geometry, from a computational point of view. I studied political science, philosophy and mathematics and currently I am working at a computer science department. My main field of interest is mathematical logic, its applications in computer science, computational complexity, AI programming and the foundations of mathematics. I also hold general interest in science, its methodology and philosophy. Other interests include: politics, analytic philosophy, philosophy of mind, geometry, topology.