A
Alex Ozdemir
Assistant Professor, Starting Fall'26
Research Interests
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Testing and Debugging Techniques