Julia Belyakova

Registered user since Wed 13 Jan 2016

Name: Julia Belyakova

Bio: Sep 2018: PhD Student, Northeastern University, USA.
Sep 2017 – Jul 2018: Researcher, Czech Technical University in Prague, Czech Republic.
Jan 2017 – Jun 2017: Research Scientist, Northeastern University, USA.
2014–2016: teaching assistant/lecturer at Southern Federal University, Russia.
Received MS in Computer Science from Southern Federal University, Russia in 2014.

Country: Russia

Affiliation: Northeastern University, USA

Personal website: https://julbinb.github.io/

Research interests: type theory, programming languages, theorem proving, generic programming, compiler construction, (C++) concepts, software testing

Contributions

ECOOP 2020Diversity Chair in Organizing Committee
FTfJP 2019Author of Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions within the FTfJP 2019-track
TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
ECOOP 2019Session Chair of DS Session 4 (part of Doctoral Symposium)
Session Chair of DS Session 1 (part of Doctoral Symposium)
Session Chair of DS Session 3 (part of Doctoral Symposium)
Doctoral Symposium Co-Chair in Organizing Committee
Committee Member in Artifact Evaluation Committee within the Artifacts-track
Co-chair in Organizing Committee within the Doctoral Symposium-track
SPLASH 2018Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track
Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track
FTfJP 2017Author of Generic Approach to Certified Static Checking of Module-like Constructs within the FTfJP 2017-track
ECOOP 2018Doctoral Symposium Co-Chair in Organizing Committee
ISSTA 2018Doctoral Symposium Co-Chair in Organizing Committee
ECOOP and ISSTADoctoral Symposium Co-Chair in Organizing Committee within the Doc Symposium-track
Doctoral Symposium Co-Chair in Organizing Committee
ECOOP 2017Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
ECOOP 2016Author of Concept Parameters as a New Mechanism of Generic Programming for C# Language within the Doctoral Symposium-track