Peter Backeman
PhD Student

Projects


Publications


  • CADE article

Teaching


  • Machine Learning - 2015

  • Introduction to Computer Science - 2014

  • Object-Oriented Programming - 2014

  • Program Design and Data Structures - 2013

About


Second year PhD student at Uppsala University pursuing the field of SAT/SMT-solvers, specializing at quantifier handling under the supervision of Philipp Rümmer and Christoph M. Wintersteiger.

Contact info: peter . backeman (at) it . uu . se