| Topic | Supervisor | Students |
|---|---|---|
| Solving Satisfiability Modulo Theory in a modular framework | Prof. Ábrahám | Oliver |
| Solving equalities and uninterpreted functions using proof forests | Florian Corzilius, Johanna Nellen | Lasse, Marten |
| Solving linear inequality systems with the Ellipsoid method | Gereon Kremer, Stefan Schupp | Mohibullah, Roni |