Types of projects

I am happy to supervise the following types of projects:


Possible fields for projects under my supervision include the following: Some concrete ideas for future projects (but I am always open for suggestions and I usually provide tailor-made tasks adapted to the preferences of the students):
Topic Type Prerequisites
Error-correcting codes; Zula, Bsc (Math, Comp Science); algebra
Linear feedback shift registers; Zula, Bsc (Math, Comp Science); algebra
Classifying spaces of one-relator groups; BSc (Math); algebraic topology
Uniqueness of Slitherlink curves; Zula, BSc (Math, Comp Science); basic math courses (plus some geometry)
Accessibility proofs in computer games; Zula, BSc (Math, Comp Science), MSc (Comp Science); programming skills, mathematical logic
Verification of theorems in proof assistants; any; programming skills, mathematical logic
Simplicial volume with twisted coefficients; MSc (Math); algebraic and geometric topology
The equivalence theorem for relative simplicial volume, explicitly; MSc (Math); algebraic and geometric topology
Non-verbal mathematics; Zula, BSc (Math); basic math courses
3D optical illusions Zula, BSc (Comp Science) basic math courses
Computational complexity of classical games; Zula, Bsc (Math, Comp Science); basic math courses
Model-theoretic aspects of geometric group theory; BSc (Math), MSc (Math); geometric group theory, mathematical logic
Categories for measure equivalence of groups BSc (Math), MSc (Math); basic math courses
Comparison of homological gradient invariants BSc (Math), MSc (Math); algebraic topology
Ergodic theoretic methods in group homology MSc (Math) algebraic topology/group homology, functional analysis

Supervised projects

Valid HTML 4.01! Valid CSS!