Automated Theorem Proving People (First 2 people) - Page 0

Leonardo de Moura

Computer scientist

Boris Motik