Sophia Roshal
PHD Student at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolSophia Roshal is a PhD student at Carnegie Mellon University in the Computer Science Department working with Frank Pfenning, specializing in type theory and category-theoretic denotational semantics for languages that model hardware-like parallel and sequential operations. She earned a CS and Mathematics BA from Cornell and has combined theoretical work—such as decidable type systems for the Wyvern language during REUSE—with applied program-analysis experience through internships at Semgrep and Microsoft. With nine years of experience spanning research, software development, and teaching, she pairs formal-methods rigor with practical engineering and program-analysis tooling. Outside the lab she has served as a climbing instructor and supervisor, a hands-on leadership role that complements her mentoring and collaborative research style.
9 years of coding experience
6 years of employment as a software developer
Bachelor of Arts - BA, Computer Science, Bachelor of Arts - BA, Computer Science at Cornell University
Russian, English
Github Skills (24)
static-code-analysis10
javascript10
static-analysis10
python10
semgrep10
typescript10
java10
ruby10
go10
linter10
sast10
openvr9
augmentedreality7
hololens7
unity3d7
Programming languages (4)
Github contributions (5)
SophiaSR/SophiaSR.github.io
Jul 2022 - Oct 2024
Contributions:29 pushes, 1 branch in 2 years 3 months
amackenzie1/poker-0
Apr 2018 - Jul 2018
Contributions:15 pushes in 3 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.