OSCAR Symbolic Tools
OSCAR Coding Sprint 02/2026
Participants Program

Participants

  1. Aaruni Kaushik (RPTU)
  2. Antony Della Vecchia (TU Berlin)
  3. Benjamin Lorenz (TU Berlin)
  4. Claus Fieker (RPTU)
  5. Dante Luber (Paderborn)
  6. Emre Sertöz (Leiden)
  7. Fabian Lenzen (TU Berlin)
  8. Friedemann Groh (ISG)
  9. Gabriel Riffo Jara (TU Berlin)
  10. Igor Makhlin (TU Berlin)
  11. Jeroen Hanselman (RPTU)
  12. John Abbott (RPTU)
  13. Kamillo Ferry (TU Berlin)
  14. Kevin Kühn (TU Berlin)
  15. Lars Göttgens (RWTH)
  16. Lars Kastner (TU Berlin)
  17. Marcel Wack (TU Berlin)
  18. Martin Wagner (RPTU)
  19. Matthias Zach (RPTU)
  20. Max Horn (RPTU)
  21. Michael Joswig (TU Berlin)
  22. Oliver Clarke (Durham)
  23. Roan Talbut (Durham)
  24. Shelby Cox (MPI MiS)
  25. Stef Nomden (Leiden)
  26. Thomas Breuer (RWTH)
  27. Yue Ren (Durham University)
  28. Zoe Geiselmann (TU Berlin)
Edit this page Contact Imprint Privacy policy Supported by SFB-TRR 195 © 2018-2026 The OSCAR Team