Jeremy Bertomeu Carnegie Mellon University   5000 Forbes Avenue Pittsburgh, PA 15213 USA   bertomeu@cmu.edu   http://www.andrew.cmu.edu/user/jbertome/research.html