In 1981, I was awarded an A.B. in English Literature with a minor in mathematics by the University of Illinois at Urbana-Champaign. In 1986, I was awarded a B.S. in Information Sciences with a minor in mathematics and high honors by Northeastern Illinois University at Chicago, Illinois. I was awarded an M.S. in Computer Science by Northwestern University in 1988. My thesis was entitled A Method for Determining the Satisfiability of General Boolean Expressions. This work defined the constraint calculus, an algorithm for constructing all of the models of a general Boolean expression, proved that it is both sound and complete, showed how the constraint calculus can be modified to determine satisfiability and falsifiability, and began to explore the resequencing and reduction of constraint trees.

From 1987 through 1990, I was a teaching assistant and an instructor at Northwestern University while I completed my graduate studies. From 1990 through 1995, I taught computer science at the university level as an assistant professor. From 1995 through the present, I have worked as a software engineer and rule systems architect for companies in the Minneapolis, Minnesota, area. I am currently developing language translation software.

While remaining primarily interested in the development of algorithms for difficult problems, I have shifted my research interests over the past several years from boolean expressions to areas of graph theory, including the clique problems and graph isomorphism.

From 1997 through 2006, I enjoyed life in the company of my partner, Isaiah Simon. He died unexpectedly of a heart attack on December 29, 2006 while on vacation. I miss him.

I live with two cockatiels, a cage full of finches, and two wonderful cats that want to eat the birds. I am surrounded by books. I enjoy my friends. Life is good.

E-mail Craig with any questions, comments, or suggestions.