Thesis projects

For more information about thesis projects, check out our FAQ page.

Find thesis projects by keywords:

automata	automated data cleaning	decision making
embedded systems	game theory	model checking
privacy	social graphs	type theory
user interface

Keywords: Automata, game theory
Topic and main paper: On-the-fly Controller Synthesis Prerequisites: Software verification Particular Interests: Algorithms _{published 12/01/2020}

Keywords: Privacy, social graphs
Topic and main paper: De-Anonymizing Social Networks Prerequisites: Graph algorithms Particular Interests: Experiments _{published 12/01/2020}

Keywords: Model checking, embedded systems
Topic and main paper: Model checking with interrupts Prerequisites: Assembly programming; model checking Particular interests: Machine-level programming _{published 12/01/2020}

Keywords: User interface
Topic and main paper: Dark patterns Prerequisites: Natural language processing or source code analysis Particular interests: Web technology, statistics _{published 11/25/2020}

Keywords: Automated Data Cleaning
Topic and main paper: Towards Automated Data Cleaning Workflows Prerequisites: Machine learning; data analysis Particular interests: Data profiling _{published 11/25/2020}

Keywords: Decision Making
Topic and main paper: Learning a decision maker's utility function from (possibly) inconsistent behavior Prerequisites: Machine learning; utility theory Particular interests: Probabilistic model, utility models _{published 11/25/2020}

Keywords: Type theory
Topic and main paper: Low-Level Liquid Types Prerequisites: Compiler construction Particular interests: Programming languages _{published 11/25/2020}