Automated Verification People (First 4 people) - Page 0

Georg Weissenbacher

Researcher

Marta Kwiatkowska

Polish computer scientist

Clark Barrett

Computer science researcher

Tevfik Bultan

Mathematician