cv

My CV/Resume in an online extended format

General Information

Full Name Evan M Drake
Location Chico, CA

Education

  • 2024
    Masters
    CSU Chico
    • Computer science
    • AI research

Experience

  • 2023 - current
    Associate faculty
    Butte college
    • Teaching computer science
    • Teaching engineering
  • 2022 - 2023
    Intern
    Liatrio

Volunteer work

  • 2019-current
    Citrus Elementary
    • acting as a science teacher for the students

Academic Interests

  • Quantum computing
    • Quantum information theory
    • Quantum algorithms
    • Quantum complexity theory
  • Complexity theory
    • algorithm design
    • $P \stackrel{?}{=} NP$
  • Proof theory
    • automated proof theory
    • machine checkable proofs
  • Type theory
    • Homotopy type theory
    • Topological type theory
  • Compiler research
    • AST optimization
    • Type theory integration
    • IR translation
    • target program verification

Other Interests

  • Hobbies: Fantasy Novels, Linguistics, Mathematics, Black smithing, Weight lifting