Антон Подкопаев пройдет стажировку в Институте Макса Планка

Аспирант математико-механического факультета СПбГУ и сотрудник лаборатории языковых инструментов JetBrains Research Антон Подкопаев с 16 мая по 5 августа пройдет стажировку в Институте Макса Планка (Max Planck Institute for Software Systems),  Кайзерслаутерн, Германия, где под руководством Виктора Вафейядиса
(Viktor Vafeiadis) продолжит работу над операционной семантикой для модели weak memory.