Award Recipient Matthias Heizmann University Of Freiburg Social website 2021 Amazon Research Award “Loop acceleration by quantifier elimination”