Prizes of FLOPS 2026 SRC
The FLOPS 2026 Student Research Competition was held during the FLOPS meeting. See the page SRC and Poster for details.
After a thorough discussion, the three judges have selected the recipient of the First Prize:
- Danel Batyrbek, On the Recognition of Dijkstra Graphs: Correcting a Contraction Lemma
The following students tied for the second place:
-
Brysen Pfingsten, A Declarative Visualization Layer for a Solver-Aided Reduction DSL
-
Akane Taniguchi, Handling the Selection Monad, Uniformly
SRC Judges
- Mirai Ikebuchi, Kyoto University
- Akimasa Morihata, University of Tokyo
- Sven-Bodo Scholz, Radboud University