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

Research interests:type theory, programming languages, theorem proving, generic programming, compiler construction, software testing