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.