Theory & Methodologies of Computation

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