Theses

Would you like to write your Bachelor's or Master's thesis in our research group? Please feel free to contact us at kevin.batz@uni-muenster.de at any time.

Our topics range from theoretical questions about program logics to the implementation and experimental evaluation of exciting algorithms for verifying the correctness of computer programs or networks.

An interest in mathematical questions provides a good foundation. Depending on the topic, the focus may be on theoretical reasoning, algorithm development, or practical implementation. If you already have an idea of your own, we would be happy to discuss it as well.