• complexity theory
• non-deterministic calculations
• distributed algorithms
• non-numerical algorithms
• VLSI algorithms
• abstract processor
• numerical algorithms
• symbolic computations
• algorithm analysis
• parallel algorithms
• numerical expressibility theory
• evolutionary algoritms