|- Optimization models and algorithms (using satisfiability search algorithms - SAT) for hardware and software problems (analysis and optimization). Using this techniques to optimize hardware implementations of arithmetic operators and other DSP blocks.
- Parallel algorithms and computation environments (GRID, Multi-Core CPUs) applied to Electronic Design Automation (EDA) problems and Biological Data processing.
- Accelerating biological data analysis using custom architectures for dedicate or reconfigurable hardware.
- Circuit design and EDA for/with multi-level circuits (quaternary circuits).|