I have done research on and developed new algorithms for:

• Boolean expression satisfiability
• Boolean expression simplification
• Determining whether a k-clique exists in a graph
• Constructing all of the maximal cliques of a graph
• Determining the size of the maximum cliques of a graph
• Constructing all of the maximum cliques of a graph
• Determining whether two graphs are isomorphic
• Factoring composite integers into two factors

I have done research on:

• The Adapative Market pattern
• Problem-solving services
• Active blackboards
• Subgraph Isomorphism
• The Business Object Model and Rule Systems Methodology
• Ramsey theory (graph theory aspect)
• Universal traversal sequences
• Emergent-network dataflow processing
• Netflix Prize Rating Prediction
• Eternity II
• The Riemann Hypothesis