An Associate Professor with a Ph.D. in Computer Science currently works full-time at Innopolis University and part-time as Head of its Software and Service Engineering Laboratory. He holds a master’s from Novosibirsk State University (1983) and a 1987 Ph.D. from a Russian Academy of Sciences institute. With over 30 years of academic experience (including visiting roles in 5+ countries), his research focuses on program logics, AI, and software engineering. He has 139+ Google Scholar publications, multiple fellowships, and leads funded projects.