homepage |
publications |
recent talks |
research projects |
events |
|---|
stages)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.