Theory researchers determine which problems can be solved through algorithms and complexity, and explore computer security. 

  • Algorithms and Complexity
    Computer science theory assesses which problems are possible and feasible to solve through theories of computability, undecidability, complexity, reducibility, and approximability.
  • Computer Security and Cryptography
    Focuses on applied cryptography, authentication, software and system security, threat modeling, anomaly detection, wireless security, cloud security, human-centered security, differential privacy and empirical cyber security.