Thesis projects

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

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