Ozan Erdem
- Ph.D. in Artificial Intelligence (University of Toronto, 2017)
- M.Sc. in Artificial Intelligence (University of Toronto, 2012)
- B.Sc. (Sabanci University, 2010).
My research interests include SAT solving, Constraint Satisfaction Problems, Answer Set Programming and Linear Programming.
I am currently employed at
Cerebras Systems, working on various optimization problems that involve compilers, CAD tools for FPGA/VLSI applications, and hardware-software co-design.