Nadia Polikarpova Profile Banner
Nadia Polikarpova Profile
Nadia Polikarpova

@polikarn

Followers
3,726
Following
305
Media
60
Statuses
1,227

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

https://t.co/nduOebM3a1
San Diego, CA
Joined January 2015
Don't wanna be here? Send us removal request.
Explore tweets Explore followers Explore following
@christogrozev
Christo Grozev
@christogrozev
Klingon
@LakshyAAAgrawal
Lakshya A Agrawal
@LakshyAAAgrawal
India
@yulia_navalnaya
Yulia Navalnaya
@yulia_navalnaya
@tamaraeidelman
Тамара Эйдельман
@tamaraeidelman
@pevchikh
Maria Pevchikh
@pevchikh
@sankldive
sasha dolgopolov 🏳️‍⚧️
@sankldive
@rgelash
Rati Gelashvili
@rgelash
@ArtyomAstafurov
Artyom Astafurov
@ArtyomAstafurov
New York | Boston
@mchri5taki5
Maria Christakis
@mchri5taki5
Vienna, Austria
@eschulmann
Шульман
@eschulmann
Москва
@max_katz
Максим Кац
@max_katz
@mattlbowers
Maddy Bowers
@mattlbowers
@NatalieKrakoski
NKrakoski
@NatalieKrakoski
@AudreyRandall0
Audrey Randall
@AudreyRandall0
@TitzerBL
Ben L. Titzer
@TitzerBL
@wicko3
John Wickerson
@wicko3
United Kingdom
@rickygervais
Ricky Gervais
@rickygervais
Earth
@yminsky
Yaron (Ron) Minsky
@yminsky
@MKasyanov
Михаил Касьянов
@MKasyanov
Москва
@rck289
Ryan Kastner
@rck289
San Diego, CA