Thesis projects

To apply for a thesis project please send an E-mail to sts-office(at)tuhh.de.
For more information about thesis projects, check out our FAQ page.

Keywords: Parallelization, Model Checking

Topic and main paper:
Swarm model checking on the GPU
Prerequisites: Software Verification
Particular interests: Automated test data generation, program structure

published 16/06/2021
Keywords: Decision Making

Topic and main paper:
Learning a decision maker's utility function from (possibly) inconsistent behavior
Prerequisites: Machine learning; utiltity theory
Particular interests: Probabilistic model, utility models

published 16/06/2021
Keywords: Automata learning

Topic and main paper:
Learning Timed Automata from Interaction Traces
Prerequisites: Timed automata
Particular interests: Protocols

published 29/04/2021
Keywords: Automated Data Cleaning

Topic and main paper:
Towards Automated Data Cleaning Workflows
Prerequisites: Machine learning; data analysis
Particular interests: Data profiling

published 29/04/2021
Keywords: Testing, Program Transformation

Topic and main paper:
Testability transformation

Prerequisites: Software Testing
Particular interests: Automated test data generation, program structure

published 29/04/2021
Keywords: Privacy, social graphs

Topic and main paper:
De-Anonymizing Social Networks
Prerequisites: Graph algorithms
Particular Interests: Experiments

published 16/03/2021
Keywords: Model checking, embedded systems

Topic and main paper:
Model checking with interrupts
Prerequisites: Assembly programming; model checking
Particular interests: Machine-level programming

published 16/03/2021