Is the field of theoretical computer science so complex, that it is just "too much" for a bachelor thesis? Unfortunately I haven't found any old thesises because the relevant chair of the university hasn't been occupied for years.
Because of theoretical computer science is the only topic that really interests me, I thought of writing my bachelor thesis in this field. What would be suitable topics or at least fields that can be arranged in the limited focus of a bachelor thesis? I thought of topics like parametrized complexity or formal software verfication (which is actually a bit of the target)