Main interests: Logic (Dianogalization, Self-reference, Proof Theory), Philosophy of Mathematics, and Philosophy of Science.