Personal Card.

VICTOR DUBININ received the Diploma degree in computer engineering, and the Ph.D. degree in computer engineering and Dr.Sc. degree in computer science from the University of Penza, Penza, Russia, in 1981, 1989, and 2014, respectively. From 1981 to 1989, he was a Researcher, from 1989 to 1995, he was a Senior Lecturer, and from1995 to 2015, he was an Associate Professor with the University of Penza. Since 2015, he has been a Professor with the Department of Computer Science, University of Penza. In 2011, he held a Visiting Researcher position with The University of Auckland, Auckland, New Zealand, and from 2013 to 2019, as well as in 2021, he was with the Lulea University of Technology, Lulea, Sweden. His research interests include formal methods for specification, verification, synthesis, and implementation of distributed and discrete event systems. He was a recipient of DAAD-grants to work as a Guest cientist with Martin-Luther-University Halle-Wittenberg, Halle, Germany, in 2003, 2006, and 2010, respectively.