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
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 |
Jan 25, 2025 | I created this new blog using Ruby/Jekyll and al-folio, to act as a kind of writing space for my hobbies and research needs. |
latest posts
Jan 30, 2025 | Inversion Operation |
---|