Registered user since Wed 13 Jan 2016
Name:Julia Belyakova
Bio:
Oct 2023 – present: Postdoc, Purdue University, IN, USA.
Sep 2018 – Aug 2023: PhD Student, Northeastern University, MA, 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 PhD in Computer Science from Northeastern University, MA, USA in 2023.
Received MS in Computer Science from Southern Federal University, Russia in 2014.
Country:United States
Affiliation:Purdue University
Personal website: https://julbinb.github.io/
Research interests:type theory, programming languages, theorem proving, generic programming, compiler construction, software testing
Contributions
Using general profile