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.

Find thesis projects by keywords:

automata learning	automated data cleaning	decision making
embedded systems	model checking	parallelization
privacy	program transformation	social graphs
testing

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}