• Jonathan Dransfeld, 2026: Master thesis Pattern-Avoiding Vertex Orders with SAT, co-supervised by Thomas