People who do research on theoretical computer science, including but not limited to algorithm design and analysis, computational complexity theory, and computability theory.