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 currently work on Quartus at Intel of Canada.