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 |
Keywords: Privacy, social graphs |
---|
Topic and main paper: |
Keywords: Model checking, embedded systems |
---|
Topic and main paper: |
Keywords: User interface |
---|
Topic and main paper: |
Keywords: Automated Data Cleaning |
---|
Topic and main paper: |
Keywords: Decision Making |
---|
Topic and main paper: |
Keywords: Type theory |
---|
Topic and main paper: |