Matthias_Heizmann_UniversityOfFreiburg.jpg

Matthias Heizmann

University Of Freiburg
2021 Amazon Research Award
“Loop acceleration by quantifier elimination”