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
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
data-fitting6
python5
toolbox5
actor-critic5
machine-learning4
algorithms4
reinforcement-learning4
openai3
javascript3
data-science3
software-design1
Programming languages (2)
Github contributions (5)
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-criticopenaireinforcement-learning
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
openaireinforcement-learning
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.