Nadia Polikarpova

@polikarn

Associate prof @ucsd_cse. Building tools for program verification and synthesis.

San Diego, CA cseweb.ucsd.edu/~npolikarpova/ Joined January 2015

286 Following 3.5K Followers 1.2K Posts

Latest posts 5

Nadia Polikarpova @polikarn Apr 18, 2025

We are recruiting participants for a user study on AI coding assistants . The study will be remote and take ~60 minutes. Participants will be compensated with a $30 amazon gift card. Please fill out the interest form if you'd like to participate! forms.gle/niXQHv7F2YU96E…

docs.google.com User Study Interest Form We are recruiting participants for a user study on writing code with AI assistants. The study will be held remotely over zoom and will take approximately 90 minutes to complete. Participants will be...

Nadia Polikarpova @polikarn Mar 18, 2024

I voted

Nadia Polikarpova @polikarn Feb 23, 2024

Give Alexey Navalny's body to his mother

Yulia Navalnaya Verified account @yulia_navalnaya Feb 22, 2024

Обращение мамы Алексея

View quoted post on X

Nadia Polikarpova @polikarn Feb 6, 2024

The year was 2024. Microsoft Excel, equipped with a fancy AI assistant for generating formulas from natural language, still could not open two workbooks with the same name at the same time.

Nadia Polikarpova @polikarn Jan 24, 2024

Осталось всего три дня, чтобы поставить подпись в поддержку Бориса Надеждина, *единственного анти-военного кандидата* на предстоящих президенских выборах. Вот здесь nadezhdin2024.ru/addresses можно посмотреть, в каких регионах пока не собрали необходимые 2500 подписей.