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)

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

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

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

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