GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Theoretical Computer Science Research Faculty | GradNova

/

/

Theoretical Computer Science

Theoretical Computer Science

112 faculty research Theoretical Computer Science on GradNova.

G

Professor

Computer Science

Worcester Polytechnic Institute

Discrete Mathematics

Theoretical Computer Science

Advanced Topology and Set Theory

+2

D

Daniel Reichman

Assistant Professor

Computer Science

Worcester Polytechnic Institute

Discrete Mathematics

Probability Theory

Theoretical Computer Science

Advanced Graph Theory Research

+4

M

Professor

Computer Science

Western University

Algorithmics of Music and the Visual Arts

Computational and Mathematical Modelling of Biological Systems

High Performance Computing for Biology and Mathematics

Molecular Evolution

+5

...

K

Professeure adjointe

Computer Science

Université de Montréal

Nonlinear Programming

Theoretical Computer Science

Eating Disorders and Behaviors

Obesity and Health Practices

+3

B

Professeur agrégé

Computer Science

Université de Montréal

Quantum Computing

Theoretical Computer Science

T

Thomas Rothvoss

Professor

Computer Science

University of Washington

Theoretical Computer Science

A

Professor

Computer Science

University of Washington

Theoretical Computer Science

Complexity and Algorithms in Graphs

Advanced Graph Theory Research

Cryptography and Data Security

+2

S

Shayan Oveis Gharan

Professor

Computer Science

University of Washington

Theoretical Computer Science

Complexity and Algorithms in Graphs

Advanced Graph Theory Research

Markov Chains and Monte Carlo Methods

+2

C

Assistant Professor

Computer Science

University of Washington

Quantum Computing

Theoretical Computer Science

H

Huijia (Rachel) Lin

Professor

Computer Science

University of Washington

Theoretical Computer Science

Y

Associate Professor

Computer Science

University of Washington

Theoretical Computer Science

Complexity and Algorithms in Graphs

Optimization and Search Problems

Advanced Graph Theory Research

+2

A

Professor

Computer Science

University of Washington

Theoretical Computer Science

Auction Theory and Applications

Optimization and Search Problems

Consumer Market Behavior and Pricing

+2

S

Assistant Professor

Computer Science

University of Washington

Machine Learning

Theoretical Computer Science

P

Professor

Computer Science

University of Washington

Quantum Computing

Theoretical Computer Science

Complexity and Algorithms in Graphs

Formal Methods in Verification

+3

I

Ibrahim Numanagić

Associate Professor, Canada Research Chair, Tier 2, Computational Biology and Data Science and and Combined Program Advisor for HINF/CSC

Computer Science

University of Victoria

Computational Biology

Programming Languages

+6

S

Assistant Professor

Computer Science

University of Victoria

Circuit Complexity

Communication Complexity

Complexity Theory

Theoretical Computer Science

J

Joel I. Seiferas

Professor Emeritus of Computer Science

Computer Science

University of Rochester

Computational Complexity

Theoretical Computer Science

A

Assistant Professor of Computer Science and Data Science

Computer Science

University of Rochester

Algorithmic Game Theory

Computational Social Choice

Democracy and Computer Science

Economics and Computation

+7

T

Assistant Professor

Computer Science

University of Oregon

Computational Topology

Theoretical Computer Science

Topological Data Analysis

Topological Machine Learning

+5

M

Assistant Professor

Computer Science

University of Oklahoma

Bioinformatics & Computational Biology

Cancer Immunomics

Computational Genomics

+8

Q

Williams Company Foundation Presidential Professor

Computer Science

University of Oklahoma

Algorithmic Self-Assembly

Dna/molecular Computing

Theoretical Computer Science

+3

D

David A. Plaisted

Research Professor

Computer Science

University of North Carolina at Chapel Hill

Logic Programming

Mechanical Theorem Proving

Term Rewriting Systems

Theoretical Computer Science

Z

Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Machine Learning

Theoretical Computer Science

K

Assistant Professor

Computer Science and Engineering

University of Michigan

Cryptography and Game Theory

Decentralized Applications

Theoretical Computer Science

DNA and Biological Computing

+4