Raven Rothkopf

Hi✿ I’m a first-year Ph.D. student at UCSD, co-advised by Nadia Polikarpova and Sorin Lerner, supported by the NSF GRFP (2024). My interests lie at the intersection of formal methods, human-computer interaction, and artificial intelligence.

I received my bachelor’s degree in Computer Science from Barnard College, Columbia University in 2024. There, I worked as a research assistant for Mark Santolucito in Barnard’s Programming Languages Lab.

In the summer of 2024, I was a visiting researcher along with Prof. Santolucito at the CISPA Helmoltz Center for Information Security in Saarbrücken, Germany. I also spent summer 2023 at Carnegie Mellon University’s REUSE program with Joshua Sunshine.

Feel free to reach out with questions, collaboration ideas, or just to chat, especially if you’re an undergrad student and want to get involved in CS research!