Automated Reasoning People (First 11 people) - Page 0
Maria Paola Bonacina
Researcher
Manfred Kerber
Predrag Janičić
Serbian mathematician
Leonardo de Moura
Computer scientist
Andrei Voronkov
Russian volleyball player
Tudor Jebelean
Author
Clark Barrett
Computer science researcher
Rajeev Goré
Christian Szegedy
Researcher
Bruno Buchberger
Professor of mathematics
