OSCAR Symbolic Tools
OSCAR Coding Sprint 02/2026
Participants Program

Participants

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