I am a software engineer with a PhD in mathematics. My thesis area was mathematical logic, specifically computability theory and effective randomness.
Q&A for professional mathematicians
Joined 6 years ago, last seen 5 months ago
Q&A for professional and enthusiast programmers
Joined 1 year ago, last seen 5 months ago