@TaliaRinger
Professor, @plfmse , @IllinoisCS ! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש