Dr. Arseniy Zaostrovnykh is a static analysis enthusiast working at SonarSource on improving the quality and security of program code.


Arseniy Zaostrovnykh graduated from École polytechnique fédérale de Lausanne (EPFL), working under the supervision of Prof. Katerina Argyraki and Prof. George Candea. In his doctoral thesis, Arseniy brought formal software verification within the reach of regular software engineers in the domain of software network functions.


Arseniy earned his MSc at the Moscow Institute of Physics and Technology. He has interned at Intel and Google and worked as a software engineer at the Samsung Research Institute (SRI) and Intel and as a junior researcher at the Institute of Electronic Control Computers in Moscow.