James T. Martin, Software Developer

A self-taught programmer fond of programming language theory.

Experience

Programming Language Design Community

onward

Hazen Robotics Club

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

Skills

  • Languages: Java 8, Haskell, HTML5/XHTML, TypeScript, JavaScript, Agda
  • Tools: Git, GitHub, continuous integration, bug tracking, unit testing, formal verification
  • Administration: Debian GNU/Linux, Nginx

Education

Hazen High School

to
  • Recieved OSHA 10 certification.
  • Member of marching, symphonic, and jazz bands; recieved Sousa award in 2019.