---
layout: resume
title: Software Developer
permalink: /resume/software-developer
tagline: A self-taught programmer fond of programming language theory.
---
<section id="experience">
  <header>
    <h2>Experience</h2>
  </header>

  <section id="pld-community" class="experience">
    <header>
      <h3><a href="https://proglangdesign.net">Programming Language Design Community</a></h3>
      <span class="experience-duration"><time datetime="2018-06">June 2018</time> onward</span>
    </header>
    <ul>
      <li>Led redesign of <a href="https://proglangdesign.net">the website</a>.
      <li>Automated the generation of <a href="https://proglangdesign.net/#projects">the community projects list</a> using Jekyll.
      <li><a href="https://github.com/proglangdesign/matrix.proglangdesign.net">Bridged</a>
        the <a href="https://discord.gg/4Kjt3ZE">Discord</a> and <a href="https://irc.lc/freenode/proglangdesign">Freenode</a> sub-communities via Matrix.
      <li>Co-founded the Discord sub-community; moderated it and <a href="https://reddit.com/r/ProgrammingLanguages">/r/ProgrammingLanguages</a>.
    </ul>
  </section>

  <section id="hazen-robotics" class="experience">
    <header>
      <h3>Hazen Robotics Club</h3>
    </header>
    <ul>
      <li>Mentored programming at the summer robotics camp.
      <li>Taught club members to use Java and Git.
      <li>Collaborated to build robot controller programs for FTC competitions.
    </ul>
  </section>
</section>

<section id="skills">
  <header>
    <h2>Skills</h2>
  </header>
  <ul>
    <li>Languages: Java 8, Haskell, HTML5/XHTML, TypeScript, JavaScript, Agda
    <li>Tools: Git, GitHub, continuous integration, bug tracking, unit testing, formal verification
    <li>Administration: Debian GNU/Linux, Nginx
  </ul>
</section>

<section id="education">
  <header>
    <h2>Education</h2>
  </header>
  <section id="hazen" class="experience">
    <header>
      <h3><a href="https://hazen.rentonschools.us/">Hazen High School</a></h3>
      <span class="experience-duration">
        <time datetime="2015-09-02">2015</time>
        to <time datetime="2019-06-13">2019</time>
      </span>
    </header>
    <ul>
      <li>Recieved OSHA 10 certification.
      <li>Member of marching, symphonic, and jazz bands; recieved Sousa award in 2019.
    </ul>
  </section>
</section>