{
  "Ben Clarage" : {
      "email" : "contact<at>benclarage<.>com",
      "github" : "github.com/ben908",
      "resume" : "PDF link",
      "man page" : "man <(curl -sL benclarage.com/ben.7)",
      "education" : [
          {
              "school" : "University of Illinois at Urbana-Champaign",
              "degree" : "Bachelor of Science in Mathematics and Computer Science",
              "accolades" : ["Edmund J. James Scholar", "Highest Distinction"],
              "start" : "Fall 2020",
              "end" : "Spring 2023"
          },
          {
              "school" : "University of Illinois at Urbana-Champaign",
              "degree" : "Master of Computer Science",
              "start" : "Fall 2023",
              "end" : "Spring 2024"
          }
      ],
      "skills" : {
          "languages" : ["c", "c++", "java", "kotlin", "python", "javascript", "bash", "sql"],
          "tools" : ["cmake", "make", "git", "regex", "android studio", "emscripten", "leiningen", "selenium"]
      },
      "experience" : [
          {
              "title" : "Program Verification Graduate Teaching Assistant",
              "start" : "August 2023",
              "end" : "December 2023",
              "description" : ["algebraic specification of programs", "rewriting logic specification", "modal and temporal logic checking", "rewriting logic semantics", "model checking and symbolic model checking"],
              "link" : "courses.grainger.illinois.edu/cs476/fa2023/",
              "tools" : ["maude"]
          },
          {
              "title" : "Strategic Instructional Innovations Program Developer",
              "start" : "May 2022",
              "end" : "May 2023",
              "description" : ["developed resources to teach algorithms, data structures, and other theoretical aspects of computer science", "refactored 7 year old codebase of 33,000+ files (net 198,987 lines eliminated)"],
              "tools" : ["python", "c++", "docker", "git"]
          },
          {
              "title" : "Class Transcribe Developer",
              "start" : "May 2022",
              "end" : "August 2022",
              "description" : ["experimented with Psycopg, Pydal, and SQLAlchemy", "began transition of C# web API to Python"],
              "tools" : ["python", "c#", "postgreSQL", "psycopg", "pydal", "sqlalchemy", "docker"]
          },
          {
              "title" : "Head Course Staff",
              "start" : "August 2021",
              "end" : "May 2022",
              "description" : ["run office hours", "hold individual help sessions", "oversee ~250 course staff"],
              "tools" : ["java", "kotlin", "android studio"]
          },
          {
              "title" : "Course Developer",
              "start" : "May 2021",
              "end" : "August 2021",
              "description" : ["implement source level code mutation for kotlin code", "cyclomatic complexity counter for arbitrary kotlin code"],
              "tools" : ["antlr", "kotlin", "java", "docker"]
          },
          {
              "title" : "Course Staff Associate",
              "start" : "January 2021",
              "end" : "May 2021",
              "description" : ["run virtual office hours", "create course material"],
              "tools" : ["java", "android studio"]
          }
      ],
      "projects" : [
          {
              "title" : "maze-viz",
              "description" : "n-dimensional maze generator and solver with visualization up to 3d",
              "link" : "maze.benclarage.com",
              "tools" : ["emscripten", "c++", "javascript", "three.js"],
              "comment" : "Not optimized for mobile"
          },
          {
              "title" : "fancy-site",
              "description" : "A representation of this site, with more information, using webGL with novel scrolling experience",
              "link" : "dev.benclarage.com",
              "tools" : ["vite.js", "javascript", "three.js", "webGL"],
              "comment" : "Not optimized for firefox or mobile (crashes all iphone browsers, but not apple watch)"
          },
          {
              "title" : "aes-viz",
              "description" : "implementation and cross-platform visualization of the Rijndael Advanced Encryption Standard Algorithm",
              "tools" : ["c++", "cmake", "cinder", "catch2"],
              "code" : "github.com/ben908/aes-visualization",
              "comment" : "Based on a lot of math"
          },
          {
              "title" : "Course Site Graph",
              "description" : "graph representation of my data structure's course website",
              "tools" : ["d3.js", "python", "javascript", "html", "css"],
              "link" : "225-site-graph.benclarage.com",
              "comment" : "Not optimized for mobile, takes ~20 seconds to calm down, not the entire site which has thousands of more vertices"
          },
          {
              "title" : "submit-assignment-game",
              "description" : "text adventure game with goal to explore map and find tools needed to submit a homework assignment",
              "tools" : ["clojure", "leiningen"],
              "code" : "github.com/ben908/adventure-clojure"
          },
          {
              "title" : "miscellaneous bots",
              "description" : "handful of different bot I have written",
              "tools" : ["selenium", "python3"],
              "examples" : [
                  {
                      "title" : "site-scraper",
                      "description" : "web-bot that constructs a site map by crawling a website, clicks buttons to scrape dynamically loaded pages"
                  },
                  {
                      "title" : "automatic-attendance",
                      "description" : "atomically check email, load form, fill out attendance document, and submit it"
                  },
                  {
                      "title" : "post-checker",
                      "description" : "check local government website for new press releases and texted a phone number if change detected"
                  },
                  {
                      "title" : "game-player",
                      "description" : "mirrored iphone to computer and played sudoku on iphone with python script"
                  }
              ]
          },
          {
              "title" : "summa",
              "description" : "Group project that created a backend rest api with frontend displays of summary information about a user provided video",
              "tools" : ["figma", "react", "axios js", "flask"]
          }

      ]
  }
}