I'm a software engineer with a strong interest in math, particularly set theory and mathematical logic.