Vadim Zaytsev

Vadim Zaytsev is an Associate Professor at Vrije Universiteit, specializing in Formal Methods and Tools. His research spans software language engineering, program verification, and model-driven development, with a focus on legacy systems and modernization.

• PhD in Recovery, Convergence, and Documentation of Languages (2008)
• Master's in Combinatorial Test Set Generation (2004) and Modelling Distributed Systems (2003)
• Bachelor's in Python Programming E-Learning (2002)

Zaytsev's work integrates software language engineering, program verification, and domain-specific languages to address legacy system modernization. His recent publications emphasize data enrichment, automated repair, and refactoring detection across languages like Kotlin and Python.

His scientific contributions include the IFIP TC2 Manfred Paul Award (2020) and datasets for program verification, refactoring detection, and automated repair. He actively participates in editorial work, including peer-review for workshops like OOPSLE 2020.