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

Positive Technologies

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