Open work

The department continuously awards 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 various neural network models)
• Educational technologies (e.g. use of formal methods to generate automated feedback as well as front and back-end 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)