A type of algorithmic trading that uses sophisticated models and algorithms to make trades at high speeds.