My main interest is algorithms with fast average time for the conjunctive normal form (CNF) satisfiability problem and for other constraint satisfaction problems. I am also interested in computational biology, especially in practical algorithms for NP-complete computational biology problems.
His research has included design and analysis for computing transitive closure to reason about connectivity properties in graphs, design and probabilistic analysis of efficient branch-and-bound algorithms (recursive search for solutions in combinatorially large search spaces such as that of games of chess), design and analysis for the propositional satisfiability (SAT) problems, probabilistic analysis of fundamental data mining problems, study of parsing and compilation techniques for programming languages, and the study of efficient discovery of generators in finite groups. Additionally, he spent time working on phylogenetic tree generation.
Research Areas
- Theoretical Computer Science
- Algorithms and Theoretical Computer Science
- Bioinformatics and Computational Biology
- Databases and Data Mining
- Data Mining
