
Ben Little
Software Engineer, Mathematician, and Computer Scientist looking to make a positive social impact by building accessible and meaningful tools.
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
Work Experience (4)
Aug 2021 - May 2022
Graduate Teaching Assistant
CU Boulder
Led recitation sections, designed problem sets, assisted students one-on-one, and graded assignments.
- Teaching
Feb 2021 - Aug 2022
Platform Engineer
Aiva, Inc
Maintained legacy tech while team transitioned to more application-appropriate tooling. Assisted with implementing test-driven development to mitigate regressions and improve developer experience.
- Bash / TypeScript / Go
- Amazon Alexa
- Amazon Web Services
Jun 2018 - Aug 2020
Special Projects Engineer
Fruition
Learned and used back-end web hosting tools. Built custom ETL pipeline for client-facing business intelligence dashboard using Google Cloud Platform.
- Google Cloud Platform
- Kubernetes
- Rancher
Sep 2015 - Jul 2017
Research and Development Engineer I
Penn State Applied Research Laboratory
Provided mathematical consult to GIS software team. Used Java to write extensions for a GIS research tool that was transitioning to production.
Volunteer
Apr 2024 - Current
Technology Consultant
Neurodiversity Community Center
Built WordPress website and provided technical guidance during organization's initial launch.
May 2024 - Current
Volunteer
Rocky Mountain Equality
Assisted with events, including preparing show venues and helping youth with arts & crafts at pride events.
Nov 2022 - Current
Community Facilitator
CU Association for Students with Disabilities
Helped organize meetings and facilitate conversation among CU students, faculty, and staff who identify with the experience of being disabled.
Education (2)
2021 - Current
Master of Science (Incomplete)
Computer Science
University of Colorado Boulder
- Foundations of Programming Languages
- Computer Security and Ethical Hacking
- Design and Analysis of Algorithms
- Advanced Computer Architecture
- Computational Complexity Theory
- Network Analysis and Modeling
2011 - 2015
Bachelor of Science
Mathematics
The Pennsylvania State University
Certificates
2022-05-01
CU Mini Law School Certificate
CU Boulder, School of Law
Interests
Social Progress
- Transformative Justice
- Neurodiversity
Music
- Synthesizers
- Guitar
- Singing
Otaku Culture
- Anime
- Manga