Computer Science Research Topics & Ideas
Here are 50 research question ideas in computer science, each paired with a real dissertation or thesis on something similar.
By Derek Jansen (MBA) · Reviewed by Eunice Rautenbach (DTech)
Updated
- 01
Who is left carrying the cost when an algorithmic system is judged on efficiency alone?
- 02
What would it take to show that a predictive policing system is fair?
- 03
How does a person turn an automated benefits decision into a legal claim?
- 04
Should a model be able to say it does not know, and what would that take?
- 05
What rhetorical moves does a video make to persuade an algorithm as well as a viewer?
- 06
What does graph theory give an algorithm designer that a purely algorithmic view misses?
A sample dissertation
From Graph Theory to Graph Algorithms, and Back Zihan Tan · University of Chicago · 2022 - 07
Why is constructing a pseudorandom object so much harder than proving one exists?
- 08
What does a quantum relaxation buy you on a constraint satisfaction problem?
- 09
Which traveling salesperson approximation wins on real instances rather than in the worst case?
- 10
How much does knowing a graph's structure speed up a shortest path query?
- 11
How does one slow node turn into an outage, and where should the propagation be cut?
- 12
When do retries and timeouts stop protecting a system and start harming it?
- 13
What consistency can a distributed store actually promise once the network splits?
- 14
Where does the time go in a large accelerator cluster, and how much of it is communication?
- 15
Could a data center find its own bad configuration before a customer notices?
- 16
Who is studying computer science at a community college, and what do they make of it?
- 17
What should a department's policy on AI code generators actually say?
- 18
Which problem-solving strategies separate students who can design an algorithm from those who cannot?
- 19
Does an early intervention still show up in retention three years later?
- 20
What is lost when high school programming is taught as correctness rather than as making?
- 21
What share of a research data swamp can be made searchable automatically?
- 22
Is a scientific workflow reproducible if nobody recorded where its data came from?
- 23
Who actually writes research software, and does the academy count it as research?
- 24
Does natural language search beat a field query on a specialist literature database?
A sample dissertation
Natural Language Search for NASA ADS Marsh, Tanner · Harvard University · 2024 - 25
How do you crawl the content that only appears once a search form has been filled in?
- 26
What breaks first when a language model is served to thousands of users at once?
- 27
How should a serving system absorb a bursty workload without overprovisioning for it?
- 28
Which implementation choices actually make an attention kernel fast?
- 29
Does motion add anything to facial expression recognition beyond a single frame?
- 30
Which signals beyond the face improve emotion recognition on spontaneous data?
- 31
When is federated learning worth it, and when should each participant train alone?
- 32
What is the cheapest communication that still makes federated learning work?
- 33
Can a model be reverse engineered from nothing but how long its arithmetic takes?
- 34
How much of its training data does a model memorize, and can that be bounded?
- 35
Could a smart grid verify a device without learning who owns it?
Programming languages, verification and formal methods
5 research topic ideas
Download the full list- 36
Can a distributed protocol be verified once and hold for any number of processes?
- 37
How do you analyze a safety-critical system whose state space is effectively infinite?
- 38
When does a Reed-Muller form beat a conventional one for logic synthesis?
- 39
What can formal language theory contribute to a reinforcement learning objective?
- 40
Is there a principled way to merge two UML class diagrams that disagree?
- 41
What does fault tolerance cost, in qubits, before a quantum machine is useful?
- 42
Can graph rewriting keep a quantum compiler fast as the programs get larger?
- 43
Which compiler choices make a program survive a transient hardware fault?
- 44
Why does Grover's algorithm return wrong answers for some Boolean oracles?
- 45
What can an emulator tell you about a quantum algorithm before the hardware exists?
- 46
What separates a code review comment that changes the code from one that does not?
A sample dissertation
Art of Code Review Sharif Ahmed · Boise State University · 2025 - 47
How often does a coding model invent an API, and what makes it stop?
- 48
Can a model match compiled binaries back to the source they came from, across languages?
- 49
Does classical program analysis make a language model better at changing real code?
- 50
How much does a trainer need to see while people work through a computer-based task?
Need a helping hand?
Book a free 15-minute chat and talk it through with a doctoral-qualified Grad Coach® who’s been through the topic ideation process hundreds of times.
15-minute chat. No cost. No pressure.







