Аспирант кафедры «Вычислительная техника»  Пензенского государственного университета Дмитрий Дроздов выступил с докладом на международной конференции IECON 2018 (The 44rd Annual Conference of the IEEE Industrial Electronics Society), проходившей 21–23 октября в  Вашингтоне (США).
Доклад Дмитрия на тему «Formal verification of protection functions for power distribution networks» был посвящен формальной верификации систем защиты и восстановления при отказах для "умных" сетей энергоснабжения (SmartGrid), призванных существенно повысить технико-экономические и эксплуатационные характеристики существующих систем электроэнергетики.
Работа Дмитрия была выполнена в рамках совместных исследований, проводимых в Техническом университете Лулео, Швеция (руководитель — профессор, д-р технич. наук В. Вяткин) и Пензенском государственном университете. Данная работа была также поддержана стипендией Президента РФ по обучению за рубежом в 2018/2019 учебном году.