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
@MRauhalahti
Markus Rauhalahti, PhD
@MRauhalahti
Helsinki
@zhaoyuwei_
Fyrsta
@zhaoyuwei_
@atharva_sehgal
Atharva Sehgal
@atharva_sehgal
Austin, TX
@darkcipher_og
darkcipher.eth
@darkcipher_og
Antarctica
@aristotwee6754
‏Arastoo Zibaeirad
@aristotwee6754
Charlotte, NC
@wuc9521
wuc9521
@wuc9521
Madison, WI
@2eFP3YNC9lc3t08
GustaveJudson
@2eFP3YNC9lc3t08
@test009000
test0090
@test009000
@ArceriVincenzo
Vincenzo Arceri
@ArceriVincenzo
Parma
@hxjxsnow
Xuejing, aka Snow
@hxjxsnow
Paris, France
@greta_dolcetti
Greta Dolcetti
@greta_dolcetti
@gcampax
Giovanni Campagna
@gcampax
San Francisco, CA
@ezekSoremekun
Ezekiel Soremekun
@ezekSoremekun
Egham, UK
@samlakig
sam laki (e^-λ)
@samlakig
@kkdwvd
Kumar Kartikeya Dwivedi
@kkdwvd
Lausanne, Switzerland
@yudai_TNB
Yudai Tanabe
@yudai_TNB
@amoellercsaudk
Anders Møller
@amoellercsaudk
@jmit01
Jacqueline Mitchell
@jmit01
@quvi5052
Mehbubul Hasan Al Quvi
@quvi5052
@sakekasi_edu
Saketh
@sakekasi_edu