Julia Belyakova - ECOOP 2019

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

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

FTfJP 2019	Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
ECOOP 2019	Session 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
Show activities from other conferences

ECOOP 2019-profile
View general profile

Tracks

Workshops