Podcast guestAtlanta, Georgia
Alex Ozdemir
Assistant Professor at Georgia Tech
Alex Ozdemir is an Assistant Professor at Georgia Tech, known for his work in formal verification and zero knowledge systems. He has contributed to the development of compiler infrastructure projects like CirC and has explored the intersection of theorem proving and zero knowledge technologies.
Know when Alex Ozdemir turns up
Follow Alex Ozdemir and once a week we email you every new episode they appeared on — including guest spots the show notes never mention, because we read the transcript.
Follow Alex OzdemirFree. Pick your own day and time.
Are you Alex Ozdemir?
Claim this page: every appearance in one place, with transcripts, plus a verified badge to link from your bio.
Shows & network
Associated podcasts
Chronological feed