Julia Belyakova

Registered user since Wed 13 Jan 2016

Name: Julia Belyakova

Bio: 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: Czech Technical University in Prague

Personal website: http://staff.mmcs.sfedu.ru/~juliet/index.en.html

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

Contributions

SPLASH 2018Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track
Show activities from other conferences

Using general profile