PhD in Computer Science, профессор, заместитель заведующего лабораторией программной инженерии и верификации программ Университета Иннополис