Closely related fields in theoretical computer science are analysis of algorithms and computability theory.
What two fields of theoretical computer science closely mirror computational complexity theory?
analysis of algorithms and computability theory