Георгий Александрия

Positive Technologies

За плечами работа над вероятностными пространствами и Digital Forensic. С 2017 года занимается разработкой SAST- и SMT-решений, в частности, разработкой символьной виртуальной машины для символьного анализа исходного кода. Сейчас — ведущий разработчик анализа исходного кода в Positive Technologies.