samuela
PhD student at UW working in ML and robotics. #blacklivesmatter
Funding Links: https://github.com/sponsors/samuela
- Name: Samuel Ainsworth
- Location: NYC
- Kind: user
- Followers: 281
- Following: 221
- Total stars: 1969
- Repositories count: 134
- Created at: 2022-11-03T20:05:45.615Z
- Updated at: 2025-02-22T21:34:59.229Z
- Last synced at: 2025-02-22T21:34:59.229Z
GitHub Sponsors Profile
My name is Sam and I have a vision for safer software.
Software is eating the world and it's time that we rid the world of buffer overflows in our cars, planes, and toasters. We have all the technologies and tools now to rid ourselves of the programming perils that plagued previous generations and live on so stubbornly in all of the technology that we use every day. I believe strongly in the potential of formal verification and safer programming language technologies like Rust. 🦀
You can check out other types of stuff I work on in my profile!
👨🎓 About me
I'm a PhD student working on machine learning at the Paul G. Allen School of Computer Science & Engineering at the University of Washington. I work with Sidd Srinivasa and all the lovely folks in the ML research group. I'm currently thinking about reinforcement learning and control but you can often find me daydreaming about problems in deep generative models, optimization, or even programming languages.
Before joining the University of Washington I spent four wonderful years at Brown, followed by a stint in Silicon Valley working on self-driving cars among other wild things.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
samuela/rustybox
A free-range, non-GMO fork of busybox in 100% Rust 🦀
Language: Rust - Stars: 830samuela/oi-vae
Code for "oi-VAE: Output Interpretable VAEs for Nonlinear Group Factor Analysis"
Language: Python - Stars: 26samuela/bidirectional-typing
A bidirectional type checker
Language: Haskell - Stars: 59samuela/remod
chmod for human beings! 💫
Language: JavaScript - Stars: 33samuela/pyDPMP
The Diverse Particle Max-Product algorithm and friends
Language: Python - Stars: 1samuela/e-stops
Source code for "Mo′ States Mo′ Problems: Emergency Stop Mechanisms from Observation"
Language: Python - Stars: 4Active Sponsors
Past Sponsors
Sponsor Breakdown
- User: 1
Active Sponsorships
Past Sponsorships
View AllSponsorship Breakdown by Kind
- User: 4