Proof checker and pseudo-Boolean solver developed by WASP PhD excels at international conference
November 11th, 2024
WASP researchers and PhD students present 20 papers at NeurIPS 2024
October 21st, 2024
WASP and ETH Zurich strengthen their collaboration within AI
October 14th, 2024
Explorative learning in practice at this year’s WARA PS Demonstration Week
October 11th, 2024
Automated driving system-company incorporates research into product-development
September 26th, 2024
WASP PhD student, Derya Akbaba, receives Best Paper Award
September 19th, 2024