Artem Voronkov

 
PhD Student in Computer Science