Master thesis topics
Here is a list of potential master thesis topics. I'm also open to suggestions.
CurrenT
Languages, automata, and computation II (winter semester 2023-2024)
Automata master seminar (2023-2024)
Logic for computer scientists (summer semester 2023-2024)
Past
Logic for computer scientists (summer semester 2022-2023)
Languages, automata, and computation II (winter semester 2022-2023)
Logic for computer scientists (summer semester 2021-2022)
Logic for computer scientists (summer semester 2020-2021)
Formal Semantics of Programming Languages (winter semester 2020-2021)
Logic for computer scientists (summer semester 2019-2020)
Formal Semantics of Programming Languages (winter semester 2019-2020)
Languages, Automata, and Computation (summer semester 2018-2019)
Logic for computer scientists (summer semester 2018-2019)
Formal Semantics of Programming Languages (winter semester 2018-2019)
Probability and Statistics (laboratory, winter semester 2018-2019)
Algorithmic Game Theory (summer semester 2017-2018)
Programming Languages and Paradigms (summer semester 2017-2018)
Logic for Computer Scientists (summer semester 2017-2018)
Computational Complexity (winter semester 2017-2018)
Formal Semantics of Programming Languages (winter semester 2017-2018)
Probability and Statistics (winter semester 2017-2018)
Programming languages and paradigms (summer semester 2016-2017)
Concurrent and Distributed Programming (summer semester 2016-2017)
Logic (winter semester 2016-2017)
Formal Semantics of Programming Languages (winter semester 2016-2017)
Probability and Statistics (winter semester 2016-2017)
Logic for computer scientists (winter semester 2015-2016)
PreHISTORY
Logique et Preuve (demonstrator), ENSEIRB, Université de Bordeaux I, France, Apr-May'12
Functional Programming (demonstrator), School of Informatics, University of Edinburgh, UK, Oct-Dec'10
Computability and Intractability (demonstrator), School of Informatics, University of Edinburgh, UK, Oct-Dec'09
Functional Programming (demonstrator), School of Informatics, University of Edinburgh, UK, Oct-Dec'09
Functional Programming (demonstrator), School of Informatics, University of Edinburgh, UK, Oct-Dec'08