bkell@cmu.edu  
Office  Wean Hall 6211 
Office hours  Spring 2015:

I am a sixthyear math Ph.D. student in the ACO Program at Carnegie Mellon University. I received my B.S. in mathematics and computer science from the University of Nebraska in 2006 and my M.S. in mathematics there in 2009.
I am interested in combinatorial optimization, constraint programming, and algorithms on graphs and networks. I am currently working on the use of multivalued decision diagrams for solving the Boolean satisfiability problem. I am working with WillemJan van Hoeve.