SPLASH 2020 (series) / Julia Belyakova
Registered user since Wed 13 Jan 2016
Name:Julia Belyakova
Bio:
Sep 2018 – present: 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.
Affiliation:Northeastern University
Personal website: https://julbinb.github.io/
Research interests:type theory, programming languages, theorem proving, generic programming, compiler construction, software testing
Contributions
SPLASH 2020-profile
View general profile
View general profile