James T. Martin, Web Developer

Experience

Programming Language Design Community

onward

Hazen Robotics Club

  • Mentored programming at the summer robotics camp for 90 hours.
  • Taught club members to use Java and Git.
  • Collaborated to build robot controller programs for FIRST competitions.

Skills

  • Languages: HTML5/XHTML, TypeScript, JavaScript, Java 8, Haskell, Agda
  • Tools: Git, GitHub, continuous integration, bug tracking, unit testing, formal verification
  • Administration: Debian GNU/Linux, Nginx
  • APIs: REST, JSON, JSON Schema, JSON-LD, HATEOAS
  • Security:
    • TLS: Let's Encrypt, SSL Labs, DNS CAA, HSTS deployment
    • Web: XSS prevention, CSRF prevention, CSP, input validation, SQL injection prevention

Education

Hazen High School

to
  • Member of marching, symphonic, and jazz bands; recieved Sousa award in 2019.
  • Got high (4+) scores on 7 AP exams, including Computer Science (5) and Calculus AB (4).
  • Learned shop skills and recieved OSHA 10 certification.