@polikarn
Associate prof @ucsd_cse . Building tools for program verification and synthesis.
@sitare_yedek
@imariyuu_
@Miel_Gibson_
@BigTittyGandalf
@M0NST3REXIC
@calikyucat
@VBMagazine
@nadialuvscatz
@Asiansmallboy1
@Zenith_013
@ZE_Baseball
@fallenangelrey
@tim_ytreeide
@rieve21178
@europacnfleague
@ittirafet
@UniverseChew
@Pebinor16
@bumil_love
@elmayoo97
No tweets found