Computational Complexity

This sub-group investigates structural complexity. We analyse both machine-based and problem-based complexity classes  and investigate their mutual relationship.