My name is Nikita Zyuzin and I am a Masters student at Saarland University and Max Planck Institute for Software Systems. I am generally interested in programming languages, and in particular in type theory, category theory, logic, and their relation to PL. Currently I am working on a Coq/HOL4 formalisation of a finite-precision error bound verifier, which will be the subject of my Masters.

I will be attending the ECOOP/ISSTA summer school and hope to benefit a lot from talking to the mentors and attending the school lectures. I most of all like the broad range of topics covered by the summer school program, and believe that the exposure to different sides of PL research will prove most useful for my future academic career.

I want to continue my studies doing a PhD, where I intend to work on applying dependent types to prove program correctness. For the moment I am finding a lot of interest learning about separation logic, linear logic, effects, and realizability and I am sure that the program of ECOOP will help me learn more on some of these topics.

This will be the first conference I attended and I am very enthusiastic about the opportunity to get into the diverse research community present there. I appreciate a lot that the organisers provided me a travel stipend that makes my attendance possible and I am very much looking forward to being at the summer school!