Evan M. Drake
Chico CA
Hello, my name is Evan Drake. I am a computer science researcher among other things. I enjoy writing about my hobbies be that research or about some of the interesting books I read. I graduated in 2024 with my masters (my thesis can be found below), and currently I am taking a break from academic study but I plan on returning for my PhD in the coming years. To stay sharp I decided to start writing about some of the research side quests I have been doing. This website includes both a blog for less formal writings (usually) and a projects tab where you can find some of my ongoing projects. I will try to post news about both my interests and some interesting books/publications I read.
news
| Jun 12, 2026 | Revising 'Riemann Spheres and Computability' |
|---|---|
| May 24, 2025 | cool_induction_proof |
| Mar 13, 2025 | I have created a bookshelf with an ongoing collection of my favorite academic books |
| Mar 06, 2025 | I have a project idea for a topological library in Lean4 that I will start working on soon. |
| Feb 11, 2025 | First blog post is up and finalized |
latest posts
| Jun 13, 2026 | The Riemann sphere |
|---|---|
| Mar 28, 2026 | The Completeness Axiom |
| Apr 19, 2025 | Induction |
