Thesis topics

Bachelor: 4-6 students, scientific appearance

• Rule-based music generation
• Gradual type system for JavaScript
• Implementing natural deduction / structural recursion
• Formalizing mathematics something

Speculative:

• Compiler for some language with a twist or something
• Learning SAT solving
• Verified compilation
• Solving +,max constraints
• AI for some strategy game
• AI for text-based adventure game