European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Participants

  1. Benedikt Ahrens
  2. Thorsten Altenkirch
  3. Jay Atwal
  4. Fredrik Bakke
  5. Viktor Bense
  6. David Berry
  7. Rafaël Bocquet
  8. Riccardo Borsetto
  9. Mathis Bouverot-Dupuis
  10. Manuel Catz
  11. Evan Cavallo
  12. Andrea Coppo
  13. Francesco Dagnino
  14. Stefania Damato
  15. Tom de Jong
  16. Michele De Pascalis
  17. William DeMeo
  18. Maximilian Doré
  19. Jacopo Emmenegger
  20. Jonas Frey
  21. Francesco Gavazzo
  22. Andrea Giusto
  23. Hugo Herbelin
  24. Tom Jack
  25. Philipp Joram
  26. Moana Jubert
  27. Ambrus Kaposi
  28. Ivan Kobe
  29. András Kovács
  30. Thomas Lamiaux
  31. Andrea Laretto
  32. Meven Lennon-Bertrand
  33. Yufeng Li
  34. Haoyang Liu
  35. Axel Ljungström
  36. Roussanka Loukanova
  37. Marco Maggesi
  38. Nicolas Margulies
  39. Matteo Migliarino
  40. Eugenio Moggi
  41. Aref Mohammadzadeh
  42. Niyousha Najmaei
  43. Jacob Neumann
  44. Paige North
  45. Samuel Novotny
  46. David Nowak
  47. Andreas Nuyts
  48. Daniel Otten
  49. Ján Perháč
  50. Lorenzo Perticone
  51. Iosif Petrakis
  52. Stiéphen Pradal
  53. Loïc Pujet
  54. Daniel Ranalter
  55. Pietro Sabelli
  56. Johannes Schipp von Branitz
  57. Tex Schönlank
  58. Quentin Schroeder
  59. Sana Stojanovic-Djurdjevic
  60. Ariadne Suo
  61. Andrew Swan
  62. Yuta Takahashi
  63. Mario Timossi
  64. Gaspard Tomas
  65. Andrija Urošević
  66. Benno van den Berg
  67. Niels van der Weide
  68. Niccolò Veltri
  69. Mark Williams
  70. Théo Winterhalter
  71. Helen Würflein
  72. Szumi Xie
  73. Jeremy Yallop