Sophia Roshal
PHD Student at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolSophia Roshal is a PhD student in Carnegie Mellon’s Computer Science Department researching type theory under Frank Pfenning, with a strong foundation in computer science and mathematics from Cornell. Her work bridges category-theoretic denotational semantics and practical language design, including semantics for mixed linear/nonlinear languages that model parallel and sequential hardware behavior. She has industry research experience in programming language design for safe concurrency (Azure Research) and program analysis (Semgrep), and contributed to decidable type systems for the Wyvern language. Beyond research, she’s taught and mentored extensively—TAing core CS courses and leading outdoor education programs—highlighting both technical depth and collaborative leadership. An interesting throughline: she combines abstract categorical methods with hands-on system-minded intuitions about how languages map to hardware.
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 (22)
static-code-analysis10
javascript10
static-analysis10
python10
semgrep10
typescript10
java10
ruby10
go10
linter10
sast10
openvr9
hololens7
unity3d7
grammars6
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.