Ben Little

He/They

Louisville
ColoradoUS
https://benlittle.dev

Software Engineer, Mathematician, and Computer Scientist looking to make a positive social impact by building accessible and meaningful tools.

Work

Graduate Teaching Assistant

CU BoulderHigher Education
Boulder, CO
Aug 2021 - May 2022
  • Teaching
Led recitation sections, designed problem sets, assisted students one-on-one, and graded assignments.

Platform Engineer

Aiva, IncHealthcare and Hospitality Technology
Los Angeles, CA (remote)
Feb 2021 - Aug 2022
  • Bash / TypeScript / Go
  • Amazon Alexa
  • Amazon Web Services
Maintained legacy tech while team transitioned to more application-appropriate tooling. Assisted with implementing test-driven development to mitigate regressions and improve developer experience.

Special Projects Engineer

FruitionFull-Stack Digital Marketing and Hosting
Denver, CO
Jun 2018 - Aug 2020
  • Google Cloud Platform
  • Kubernetes
  • Rancher
Learned and used back-end web hosting tools. Built custom ETL pipeline for client-facing business intelligence dashboard using Google Cloud Platform.

Research and Development Engineer I

Penn State Applied Research LaboratoryNaval Think Tank
State College, PA
Sep 2015 - Jul 2017
Provided mathematical consult to GIS software team. Used Java to write extensions for a GIS research tool that was transitioning to production.

Education

Master of Science (Incomplete)

Computer Science

University of Colorado Boulder
Boulder, CO
Aug 2021 - Current

Courses Taken

  • Foundations of Programming Languages
  • Computer Security and Ethical Hacking
  • Design and Analysis of Algorithms
  • Advanced Computer Architecture
  • Computational Complexity Theory
  • Network Analysis and Modeling

Bachelor of Science

Mathematics

The Pennsylvania State University
University Park, PA
Jun 2011 - May 2015

Volunteer

Technology Consultant

Neurodiversity Community Center
Lafaytte, CO
Apr 2024 - Current
Built WordPress website and provided technical guidance during organization's initial launch.

Volunteer

Rocky Mountain Equality
Boulder, CO
May 2024 - Current
Assisted with events, including preparing show venues and helping youth with arts & crafts at pride events.

Community Facilitator

CU Association for Students with Disabilities
Boulder, CO
Nov 2022 - Current
Helped organize meetings and facilitate conversation among CU students, faculty, and staff who identify with the experience of being disabled.

Skills

Linux System Administration

Advanced (8 years)

  • Provisioning
  • Filesystems
  • systemd
  • Containers
  • Virtualization
  • Firewalls

Programming Languages

Advanced (8 years)

  • rust
  • go
  • shell
  • python
  • javascript
  • typescript
  • assembly

Software Development

Intermediate (5 years)

  • Version Control
  • OOP
  • Functional Programming
  • Microservices
  • Web Development
  • Test-Driven Development
  • Automation
  • CI/CD

Formal Methods

Beginner (2 years)

  • Type Theory
  • Proof Assistants
  • Symbolic Logic

Software Deployment

Beginner (2 years)

  • AWS
  • GCP
  • Kubernetes

Certificates

CU Mini Law School Certificate

CU Boulder, School of Law
May 2022
https://www.colorado.edu/law/academics/mini-law-school

Interests

Social Progress

  • Transformative Justice
  • Neurodiversity

Music

  • Synthesizers
  • Guitar
  • Singing

Otaku Culture

  • Anime
  • Manga