| bkell@cmu.edu | |
| Office | Wean Hall 6211 |
| Office hours | Summer 2015: Monday through Friday, 12:30–1:30 and 3:00–4:00, or by appointment. |
I received my Ph.D. in Algorithms, Combinatorics, and Optimization in May 2015 through the Department of Mathematical Sciences 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 Willem-Jan van Hoeve.