Thesis projects

Keywords: Strategy synthesis

Topic and main paper:
Automatic Abstraction Refinement for Timed Automata
Prerequisites: Software verification
Particular interests: Timed games, controller synthesis, abstraction refinement

Keywords: Automata Learning, Model Checking

Topic and main paper:
One-Clock Automata Learning
Prerequisites: Software verification
Particular interests: Active learning, timed automata

Keywords: Model checking, model transformation

Topic and main paper:
Modelling and Analysis of Time-Dependent, Distributed Systems
Prerequisites: Software verification or compiler construction
Particular interests: Petri nets; reinforcement learning (statistical model checking)

Keywords: Worst-case execution time (WCET), Model Checking

Topic and main paper:
Analytic real-time analysis and timed automata: A hybrid method for analyzing embedded real-time systems
Prerequisites: Software verification
Particular interests: Execution Metrics, Timed Automata

Keywords: Machine Learning

Topic and main paper:
Dynamic Backdoor Attacks Against Machine Learning Models
Prerequisites: Machine Learning
Particular interests: Adversarial Machine Learning

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

Keywords: Satisfiability Problem, Noise Based Logic

Topic and main paper:
Boolean Satisfiability using Noise Based Logic
Prerequisites: Computability and Complexity Theory, Stochastics
Particular interests: Complexity Theory, Noise Based Computing, Logic Circuits