Students of the B.Sc. Research Project course in the Software Technology and Formal Methods track are invited to choose topics or project proposals offered by members of the FMT Group. If you are interested in a certain general topic or concrete proposal, please do not hesitate to contact the person listed as responsible even if you just want to ask a question and are still deciding.