He teaches Logic, Information, Argumentation and Mathematical Logic at AUC. He also teaches for the Master of Logic at UvA. He holds a doctoral degree in mathematics which he obtained at the University of Hamburg, an MSc. in logic from the ILLC in Amsterdam, and a Bachelor's degree in computer science from the University of Pisa. He is also an active researcher, and his areas of interest are mathematical logic and set theory.