Robert Lauff

Robert Lauff

PhD candidate · Technische Universität Berlin

Advised by Stefan Felsner. My research interests include structured graph theory and combinatorics. Recently I have focused on finding constructions for nice cycles and paths on graphs and polytopes, such as rainbow cycles or facet-Hamiltonian cycles, and Gray-codes in general.

lauff@math.tu-berlin.de / github.com/rlauff

Publications & Preprints

  1. FPSAC 2026

    UniTriSat: Unimodular Triangulations via satisfiability

    Kyle Huang, Charles Zhang

    GitHub
  2. WG 2025

    Subgraph-universal planar graphs for trees

    Helena Bergold, Vesna Iršič, Joachim Orthaber, Manfred Scheucher, Alexandra Wesolek

    arXiv
  3. EuroCG 2025

    On Triangles in Colored Pseudoline Arrangements

    Yan Alves Radtke, Balázs Keszegh

    PDF
  4. EuroCG 2025

    On Triangular Separation of Bichromatic Point Sets

    Helena Bergold, Arun Kumar Das, Manfred Scheucher, Felix Schröder, Marie Diana Sieper

    arXiv
  5. SODA 2025

    Facet-Hamiltonicity

    Hugo Akitaya, Jean Cardinal, Stefan Felsner, Linda Kleist

    arXiv

Software Projects

See the respective repositories for more detail and current status. If you are interested in contributing to any of them, feel free to reach out.

  1. Python

    Dead-or-Alive

    Automatically generated Tsumego using KataGo’s ownership map. Decide if a group is dead or alive.

    Web App
  2. Rust

    Subtext

    An esoteric programming language based on RegEx matching.

    GitHub Web Sandbox
  3. Julia

    UniTriSat

    A Julia package to compute (regular) unimodular triangulations of lattice polytopes using SAT solvers.

    GitHub
  4. Rust

    Rhombic Strips

    Software to compute rhombic strips in a given lattice. The lattice can be passed via a file or built in a simple GUI.

    GitHub Web Sandbox
  5. Rust

    Quiver Mutations

    An efficient implementation of quiver mutations. The quiver can be built and manipulated using a simple GUI.

    GitHub Web Sandbox
  6. Rust

    Hanabi

    An implementation of the card game Hanabi. Strategies can be added via a trait — contributions welcome.

    GitHub
  7. Rust

    Quoridor

    My first Rust project: a simple AI for Quoridor, based on brute-force backtracking with a score heuristic. Includes TUI visualizations of the board.

    GitHub