recent talks
research projects

Stephan Merz — student projects (stages)

At this time all projects that we offered previously have been chosen.

There may be opportunities for other student projects, in particular related to the TLA+ Proof System or the veriT SMT solver. If you are interested, please feel free to drop me an email for more detailed information, or to propose a subject that you would like to work on. Also have a look at the offers of our team.

Stephan Merz