I am a PhD student in Max-Planck Institute for Software Systems under the supervision of Eva Darulova.
My current project is a part of the approximating and verifying compiler Daisy. I am working on the fully automated technique for computing the relative roundoff error bounds.
I received my Diploma from the St.Petersburg State Technological Institute (Technical University) Information Technology and Control Faculty Computer Design and Control group in 2013. I finished my M.Sc. in Computer Science at Saarland University in 2017.
Campus E 1 4