I am a software engineer with a PhD in mathematics. My thesis area was mathematical logic, specifically computability theory and effective randomness.