Our group offers a variety of topics for Master's theses and Research in Computer Science projects and Bachelor's theses. The topics originate from our research projects and cover many areas of programming methodology. Since research is very dynamic, the available topics change frequently, depending on the progress in our research, challenges we encounter, and solutions we develop. The following list highlights some of the topics that are currently available. The descriptions give a rough indication of a possible project and leave many aspects to be defined based on your experience, interests, and goals. If you are interested in working with us, it is best to contact any group member about a personal meeting to discuss whether we have the right topic for you.