Азат Абдуллин

Биография

Студент кафедры компьютерных систем и программных технологий института компьютерных наук и технологий Санкт-Петербургского политехнического университета Петра Великого. В июле 2016 окончил университет и получил диплом бакалавра с отличием. Тема выпускной работы - "Автоматическое извлечение контрактов функций из исходного кода программ". В сентябре того же года поступил в СПбПУ в магистратуру на специальность "Технологии проектирования системного и прикладного ПО".

Проекты

  • Система статического анализа исходного кода на языке С «Borealis»

Публикации