Arseniy Zaostrovnykh is a fifth-year PhD student at Network Architecture Laboratory and Dependable System Laboratory at the École polytechnique fédérale de Lausanne (EPFL), working under the supervision of Prof. Katerina Argyraki Prof. George Candea. He is interested in dependability of computer systems, formal methods, working on how to make formal methods practical. Arseniy earned his MSc(2014) and BSc(2016) in 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.