My primary research interests are programming languages and type theory. I also like theorem proving (most of my experience has been with The Coq Proof Assistant), generic programming (like Java generics or ML polymorphism), functional and object-oriented programming, software engineering, programming by contracts, and software testing. Lately, I have been getting interested in human aspects of software engineering and the interaction between humans and programming languages.
I was born in 1991 in Russia, Rostov-on-Don, where I also grew up
and received education.
In 2012–2016, I was teaching undergraduate CS courses at my alma mater,
Faculty of Mathematics, Mechanics and Computer Science (Southern Federal University).
While teaching half-time, I had entered a PhD program as well but later moved to Northeastern where my PhD journey started over.
In 2017–2018, I spent a year at the Faculty of Information Technology (Czech Technical University in Prague) doing research with Jan Vitek.
Since 2018, I have been doing my PhD in Boston.
Education. MS in “Computer Science and Information Technologies” from Southern Federal University.
Note. If you have questions about doing a PhD in the US, being an international student, woman in CS, etc., feel free to send me an email.
Recent good news (without failures)
April 2021: joined External Review Committee of OOPSLA 2021
December 2020: joined Artifact Evaluation Committee of CAV 2021
October 2020: accepted paper at OOPSLA 2020
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
September 2020: accepted short paper at VIS 2020
Just TYPEical: Visualizing Common Function Type Signatures in R
June 2020: joined Program Committee of ICCQ 2021
All news starting from 2020 are here.
For the last several years I have been working on formalizing various aspects of the Julia programming language:
- The semantics of
and its interaction with
evalin a core calculus Juliette [OOPSLA 2020].
- The subtyping relation.
Disclaimer. Good or bad, the language has nothing to do with me, and the name match is a coincidence!
Questions, comments, feedback
If you have any questions or comments about projects, papers, or website, please, feel free to email me or submit your feedback using this Google form. I would be happy to answer questions that you might have, learn about what is unclear or confusing, or receive any other feedback.
Selected papers and talks
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement