Raven Rothkopf
San Diego, California, United States
Summary
🤩
RockstarRaven Rothkopf is a CS PhD student at UC San Diego researching the intersection of programming languages and human-computer interaction, supported by the NSF GRFP and advised by Nadia Polikarpova and Sorin Lerner. They bring four years of research and software experience spanning program synthesis, temporal logic specification, and web-based interactive tools from roles at Barnard, CMU, CISPA, and Amazon SURE. Raven has hands-on engineering experience building accessible web interfaces and a JavaScript library for automatic differentiation on the web, demonstrating strength in both systems and usable tooling. Their work blends formal PL techniques with practical HCI concerns, and they have a track record of turning research prototypes into publishable results and real-world interfaces. Based in San Diego, Raven combines academic rigor with collaborative product-minded engineering across labs and nonprofits.
4 years of coding experience
Github Skills (17)
visualization10
mathematical10
programming-language9
euler9
notation9
diagram9
mathematics9
svg8
javascript8
typescript7
specification5
autodiff4
spec4
toy-language2
fpga2
Programming languages (9)
Github contributions (5)
ravenrothkopf/ravenrothkopf.github.io
Jun 2022 - Feb 2026
Contributions:64 pushes, 1 branch in 3 years 7 months
ravenrothkopf/CYOA-TSL-Evaluation
Nov 2023 - Sep 2025
Evaluation for the TSL CYOA game.
Contributions:11 pushes, 1 branch in 1 year 11 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.