Benjamin Chambers
I'm a second year PhD student at Northeastern University's Programming Research Lab. My current research interests deal with verification and satisfiability, especially techniques for converting problems into CNF. I have also spent time implementing control flow analyses in the style of Shivers' k-CFA.
Contact InfoEmail: ude.uen.scc@bmahcjb
Office: West Village H, Room 316
Matthew Might, Benjamin Chambers and Olin Shivers. Model Checking via ΓCFA. Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007). Nice, France. January, 2007. pages 59-73.
Since Spring 2008 I have been a research assistant for Pete Manolios. My research has focused primarily on implementing a linear time conversion from boolean logic to Conjunctive Normal Form (CNF). I have recentely started to investigate adding more features to the input language, such as quantifiers and pseudo-boolean constraints.
I was a TA for CSU 211: Introduction to Programming and Computing in Fall 2007. I was also an undergraduate TA at Georgia Tech for 3 semesters, teaching C, Assembly, and Systems programming to younger students.
I received my Bachelors of Computer Science from the Georgia Institute of Technology in 2007.
College of Computer and Information Science
Northeastern University
360 Huntington Avenue
Boston, MA 02115