Kate Meuse
SDE 1 at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolKate Meuse is a software engineer specializing in programming languages, formal methods, and compiler design, now working as an SDE I at AWS with eight years of hands-on experience from internships, research, and university projects. She built a full-stack compiler, developed backend databases and a puzzlehunt website, and led the computer vision subteam for Cornell’s Autonomous Bicycle where she trained real-time YOLO models for nuanced traffic-light recognition. As a functional programming teaching assistant she mentored students and managed semester-long projects, and at Ekata adapted Pact contract testing to a Clojure microservices codebase. Based in Seattle, she combines practical production experience with research-minded rigor and a particular appetite for functional programming and formal verification techniques.
8 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Cornell UniversityScience Math and Computer Science Magnet Program, Science Math and Computer Science Magnet Program at Montgomery Blair High School
Github Skills (17)
uncertainty6
data-fitting6
toolbox6
measurements6
actor-critic5
actor5
python5
machine-learning4
statistics4
deep-reinforcement-learning4
reinforcement-learning4
deep-learning3
openai3
javascript3
data-science3
Programming languages (2)
Github contributions (5)
scattering/baselines
Jul 2019 - Dec 2020
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Contributions:9 commits, 9 pushes, 3 branches in 1 year 5 months
pytorchimplementationsreinforcement-learning-algorithmsdeep-learningreinforcement-learning
scattering/HklEnv
Jul 2019 - Jul 2021
An environment for a reinforcement learning approach to faster crystallographic measurements using Actor-Critic (A2C) from OpenAI baselines.
Contributions:46 commits, 2 PRs, 37 pushes in 2 years
actor-critica2capproachreinforcement-learningmeasurements
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.