Sometimes an error in an algorithm reveals itself quickly, and sometimes it takes a very long time. The question is how to find the range in which the program can fail. A team with Polish computer scientists was awarded for solving this problem for the VASS model.
Dr. Artur Obłuski from the Polish Centre of Mediterranean Archaeology of the University of Warsaw was the Public's Choice in the European Research Council's Public Engagement with Research Award competition. The competition winners were announced last week.