- Computer Architectures. - Embedded Systems Design, using reconfigurable and dedicated architectures (FPGAs/ASICs). - High-Level Synthesis of digital circuits (VHDL/Verilog, C/C++, SystemC). - Algorithms and Parallel Processing. - Electronic Design Automation (EDA). - Satisfiability (SAT) and Integer Linear Programming (ILP) models and algorithms.