theory heavy cs courses

what are some good theory heavy cs courses other than algo?