Creating efficient algorithms to solve problems and investigate computational models and their limits.
