Ilana Shapiro
Graduate Student Researcher
Santa Barbara, California, United States
Summary
👤
Senior🎓
Top SchoolIlana Shapiro is a Ph.D. student and researcher in UC San Diego’s Programming Systems Group with eight years of software engineering experience spanning industry internships and open-source contributions. Her work sits at the intersection of programming languages, automated reasoning, and AI, with current projects on parallelization algorithms for SMT solvers and constrained decoding of LLMs using human-interpretable structural constraints. She has shipped production features at Meta/Facebook iOS teams, contributed to functional TypeScript and tooling projects while freelancing, and interned on Microsoft’s RiSE team focusing on solver parallelism and natural language reasoning for program verification. A double major in Computer Science and Music from Pomona College, Ilana brings a rare blend of formal, creative, and systems thinking—she’s equally comfortable reasoning about type systems and composing music—while mentoring and advocating for graduate women in computing.
8 years of coding experience
2 years of employment as a software developer
Associate of Arts - AA (concurrent with high school graduation), Liberal Arts and Science: Science and Math Emphasis, Associate of Arts - AA (concurrent with high school graduation), Liberal Arts and Science: Science and Math Emphasis at Santa Barbara City CollegeHigh School Diploma, High School Diploma at Dos Pueblos High SchoolAcadémie Orford MusiqueBachelor of Arts - BA, double major in Computer Science and Music (Flute Performance), minor in Mathematics, Bachelor of Arts - BA, double major in Computer Science and Music (Flute Performance), minor in Mathematics at Pomona CollegeDos Pueblos Engineering AcademyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at UC San Diego Jacobs School of Engineering
Github Skills (43)
xapi10
postman-collection10
validations10
api-blueprint10
swagger10
prism10
http-proxy10
mock-server10
oas10
api10
rest10
checker10
mocking10
postman10
rest-api10
Programming languages (8)
Github contributions (5)
ilanashapiro/MusAssist
Feb 2022 - Dec 2022
Contributions:44 commits, 217 pushes, 9 branches in 9 months
ilanashapiro/prism
Mar 2023 - Oct 2024
Contributions:92 pushes, 12 branches in 1 year 7 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.