Open works

We constantly offer project-, bachelor and mastertheses in the following areas:

• logic (e.g. model-checking of algorithms, complexity theory, formal verification of proofs with the help of theorem provers)
• machine learning (mainly in the area of verification of different neural network models)
• educational technology (e.g. formal methods to generate automated feedback, front- and backend development of tools to support teaching and learning)

Of course, own suggestions and ideas are welcome. If you are interested in a thesis at the Formal Methods/Theoretical Computer Science group please contact Norbert Hundeshagen (hundeshagen[at]uni-kassel[dot]de).

The department continuously assigns project, bachelor or master theses on the following topics:

• Logic (e.g. model checking of programs, complexity theory, or formal verification of proofs using theorem provers)
• Machine Learning (especially in the area of verification of different neural network models)
• Educational technologies (e.g., use of formal methods for generating automated feedback as well as front- and backend development of corresponding learning tools)

Your own suggestions and ideas are of course welcome!
If you are interested in working in the department, please contact Norbert Hundeshagen(hundeshagen[at]uni-kassel[dot]de).