Logic Synthesis and optimization
Sum of Pseudoproducts forms
Synthesis of Modular Multipliers
Self Adjusting data structures
String Matching algorithms and Computational Biology