Noam Zilberstein

@NZComplete

Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal Verification