THEORETICAL COMPUTER SCIENCE

Theoretical Computer Science (aka theory) studies fundamental capabilities/limitations of various computational models (e.g., models based on automata, circuits, or Turing machines; DNA computing; Quantum computing). It also seeks to develop methods (i.e., algorithmic solutions) for solving computational problems efficiently on these models. Over the years, research in theoretical computer science has influenced not only the entire area of computer science, but also other research streams such as biology, economics, mathematics, physics, and social sciences, where algorithmic and computational issues have gained importance in recent times.

The theory group at USF is led by Dr. Rahul Tripathi. The current research interests are in the areas of computational complexity, quantum computing, and algorithms.

We are looking for Ph.D. students, who are highly motivated and who have a good background in maths or theory, to join our theory group.

Faculty Member(s): Rahul Tripathi