Megan Frisella
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMegan Frisella is a PhD student in Computer Science at the University of Washington with seven years of research and teaching experience spanning formal methods, systems, and machine learning. Her work includes designing "soft memory," a software abstraction to make DRAM revocable under pressure, and contributing to proof-oriented languages like Pulse during a research internship at Microsoft. She has led course instruction as a two-time Head TA and developed model-checking assignments and labs, and she’s taught a Rust mini-course to improve systems education. Megan blends applied security and verification—modeling and proving properties of key-distribution protocols at MITRE—with practical Rust implementations. She also has experience quantifying fairness in ML systems from work at Lincoln Laboratory, showing an uncommon mix of systems-level thinking and ethics-aware evaluation. Based in Seattle, she brings a track record of shipping research-driven, reproducible artifacts that bridge theory and practice.
7 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of WashingtonHigh School Diploma, High School Diploma at Ma Academy for Math and Science SchoolBachelor of Science - BS Mathematics and Computer Science, Bachelor of Science - BS Mathematics and Computer Science at Brown UniversityDual Enrollment through Mass Academy, Dual Enrollment through Mass Academy at Worcester Polytechnic Institute
Github Skills (28)
apl10
c-language10
verification10
wolfram-language10
smt10
tlaplus9
programming-language9
proof-assistant9
agda9
dependent-types9
git9
lambda-calculus9
ocaml9
github9
z39
Programming languages (5)
Github contributions (5)
meganfrisella/meganfrisella
Aug 2021 - Nov 2023
Contributions:20 pushes, 1 branch in 2 years 3 months
mams-apps-for-good-g6/volunteer-tracker
Mar 2019 - Jun 2019
Contributions:66 pushes, 1 branch in 2 months
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.