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 5 years ago, last seen 6 days ago
Q&A for professional and enthusiast programmers
Joined 10 months ago, last seen 6 days ago