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.
10 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
sast10
openvr9
programming-language7
hololens7
mrtk6
grammars5
Programming languages (8)
Github contributions (5)
SophiaSR/SophiaSR.github.io
Jul 2022 - Aug 2025
Contributions:32 pushes, 1 branch in 3 years 1 month
SophiaSR/verona-bc
Jul 2025 - Apr 2026
An experimental byte code interpreter for the Verona operational semantics
Contributions:23 pushes, 3 branches in 9 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.