Loading...
Alex Ozdemir
Assistant Professor at Georgia Tech
Atlanta, Georgia
About Alex
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.
Associated Podcasts
Key Topics
Are you Alex Ozdemir? Manage your profile and connect with your audience.
Claim Profile