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.

${\displaystyle e^{i\pi \ }}$

This user is a mathematician.

This user is a bibliophile.

This user accepts evolution as a biological fact.