Thesis projects


SubjectAreas and possible directionsRelated courses at STS
Differential privacyType theory, probabilistic programming, Bayesian reasoningCompiler construction, functional programming, software testing
Timed gamesModel learning, multi-objective scheduling, planingSoftware verification, compiler construction
Cyber-physical systemsReal time, program synthesis, reliabilitySoftware verification, software testing, software engineering
Location privacy Static analysis, model checking, game theory Software verification, compiler construction
Data cleaning Unstructured data, statistical analysis, security Machine learning and data mining, software engineering