ADG Foundation – Members (alphabetically)

  1. Nuno Baeta (University of Coimbra, Portugal)
  2. Pierre Boutry (University of Strasbourg, France)
  3. Thierry Noah Dana-Picard (Jerusalem College of Technology, Israel)
  4. Predrag Janičić (University of Belgrade, Serbia)
  5. Ulrich Kortenkamp (University of Potsdam, Germany)
  6. Benedek Kovács (Austria)
  7. Zoltán Kovács (PHDL Linz, Austria)
  8. Filip Marić (Faculty of Mathematics, University of Belgrade, Serbia)
  9. Vesna Marinković (University of Belgrade, Serbia)
  10. Filiz Mumcu (Linz School of Education, Austria)
  11. Julien Narboux (Université Paris Cité, France)
  12. Pedro Quaresma (University of Coimbra, Portugal)
  13. Tomás Recio (University Nebrija, Madrid, Spain)
  14. Danijela Simić (Faculty of Mathematics, University of Belgrade, Serbia)
  15. Sana Stojanovic Djurdjevic (Faculty of Mathematics, University of Belgrade, Serbia)
  16. M. Pilar Vélez (University Nebrija, Madrid, Spain)
  17. Alexander Vujic (PHDL Linz, Austria)
  18. Dongming Wang (Beihang University, China)
  19. Aaron Windischbauer (PHDL Linz, Austria)
  20. Jing Yang (Guangxi Minzu University, China)
ADG Foundation
(Arbeitskreis zur Automatisierten Deduktion in der Geometrie)
A-4020 Linz, Salesianumweg 3