My primary research interests are programming languages and type theory. I am also fond of theorem proving (Coq), generic programming (like Java generics or ML polymorphism), object-oriented and functional programming, software engineering, programming by contracts, software testing.
I was born and grew up in Russia, Rostov-on-Don. In 2014 I received MS in “Computer Science and Information Technologies” from Southern Federal University. For several years I had been happily teaching at the Faculty of Mathematics, Mechanics and Computer Science, my alma mater. In 2017–2018 I worked as a researcher at the Faculty of Information Technology, Czech Technical University in Prague (FIT CVUT).
Currently, I work around subtyping relation in the Julia programming language. Disclaimer. Good or bad, the language has nothing to do with me, and the name match is a coincidence!
My previous research was related to language support for generic programming in object-oriented languages.
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
Professional Service (full list here)
Co-chair of ECOOP DS 2019, Doctoral Symposium at European Conference on Programming languages.
Co-chair of ECOOP/ISSTA DS 2018, joint Doctoral Symposium of European Conference on Object-Oriented Programming and International Symposium on Software Testing and Analysis.
Co-organizer of PLC-2017: A.L. Fuksman Conference on Programming Languages and Compilers.