Аспирант кафедры «Вычислительная техника» факультета вычислительной техники Политехнического института Пензенского государственного университета Дмитрий Дроздов выступил с докладом в Пекине на международной конференции IECON 2017 (43rd Annual Conference of the IEEE Industrial Electronics Society). Эта ежегодная конференция является флагманской конференцией сообщества промышленной электроники, входящего в состав IEEE. В этом году она проходила с 29 октября по 1 ноября в столице Китая.

Дмитрий выступил с докладом «Towards Formal Verification for Cyber-physically Agnostic Software: a Case Study», посвященным проверке на отказоустойчивость промышленных систем управления нового поколения, предназначенных для использования в «умных» фабриках будущего.

Поездка на конференцию стала возможной благодаря поддержке Технического университета Люлео (LTU, г. Люлео, Швеция). Научная работа проводилась под руководством профессора В. Вяткина (LTU) и д.т.н. В.Н. Дубинина (ПГУ).