View as PDF

Hiding some content. Showing all content.

Maynard (legally, Eli Maynard)

eli.t.maynard@gmail.com+1 (240) 278-3355github.com/quelklefmaynards.site

Personal Projects

ζ

2021–now

z.maynards.site

  • Personal Zettelkasten — ie, math notes and journaling
  • Boasts features like: extensible formats, embedded TeX, link inference, inline footnotes, and a very tight feedback loop
  • Javascript, HTML, Bash, Nix.

@mathsproofbot

2020

twitter.com/mathsproofbot

  • Automatically generates and Tweets proofs of first-order statements
  • Python, Nix.

Fitch

2018

maynards.site/fitch

  • Interactive theorem assistant for Fitch-style natural deduction
  • Originally Javascript, HTML, CSS; since rewritten in Purescript
  • Used by a former teacher in his current logic classes!

Technical Skills

Positions

Platonic.Systems

Nov 2020–now

Haskell contractor

  • Full-stack Haskell development
  • Haskell, Nix, PostgreSQL, Javascript, HTML, CSS

University of Maryland

Jun 2018–Nov 2019

Intern

  • Working under Prof. Gasarch in the Dept of Math to research approximations of the Van der Warden function from Ramsey Theory
  • Utilized programming (Nim, Python) and pencil-and-paper math!

Nora School

2016–2017

Comissioned

  • Wrote a conference scheduling app in Python Flask/Jinja, HTML, CSS, and JS
  • Used by 50+ parents and 15+ teachers
  • Deployed on AWS; included database management and UI/UX design

Education

University of Minnesota

Minneapolis, Minnesota

2021–2022

  • Attended as a non-degree-seeking student
  • Intro to Topology, Coding Theory, Intro to Modern Algebra

Lewis and Clark College

Portland, Oregon

2019–2020

  • Math + Computer Science track
  • Computer Graphics, Linear Algebra
  • 3.89 GPA

Montgomery Blair

Silver Spring, Maryland

2016–2019

  • Math, Science, Computer Science magnet program
  • Statistics, Lisp/AI, Algorithms and Data Structures, Analysis of Algorithms, Graphics, Calculus I–III, Complex Analysis, Logic, Discrete Math, DiffEq
  • 4.29 weighted / 3.59 unweighted GPA

Honors & Awards