I am a PhD Student at the Khoury College of Computer Sciences, Northeastern University (Khoury NEU), Boston, MA, USA since September 2018. I work with Professor Jan Vitek.

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).


Email: julbinb@gmail.com or belyakova.y@northeastern.edu.
Professional: github, researchgate, linkedin.
Social: twitter, facebook.
Skype: juliet_belyakova.
Web-page in Russian: staff.mmcs.sfedu.ru.


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.

Selected Papers/Talks

  1. OOPSLA 2018
    Julia Subtyping: A Rational Reconstruction
    Authors: Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek
    DOI: 10.1145/3276483
    Venue: Proc. ACM Program. Lang. 2, OOPSLA, Article 113 (November 2018), 28 pages
  2. FTfJP 2017
    Generic Approach to Certified Static Checking of Module-like Constructs
    Extended Abstract
    Authors: Julia Belyakova
    DOI: 10.1145/3103111.3104045
    Venue: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs (FTfJP 2017)
  3. [ Talk ] NEUPRL 2017
    Generic Approach to Certified Static Checking of Module-like Constructs
    Venue: Programming Language Seminar, College of Computer and Information Science, Northeastern University. Boston, MA, USA
    Date: Feb 3, 2017
  4. SBLP 2016
    Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement
    Authors: Julia Belyakova
    DOI: 10.1007/978-3-319-45279-1_1
    Venue: Lecture Notes in Computer Science. Programming Languages: 20th Brazilian Symposium, SBLP 2016 (Brazilian Symposium on Programming Languages). No 9889

Professional Service (full list here)


Program Committees