Julia Belyakova
Postdoctoral Research Associate
Lafayette, Indiana, United States
Summary
👤
Senior🎓
Top SchoolJulia Belyakova is a postdoctoral researcher and programming languages specialist with 11 years of applied and academic experience spanning type theory, theorem proving, compiler construction, and both object-oriented and functional programming. Currently at Purdue University and completing a PhD at Northeastern, she blends rigorous formal methods research with practical compiler and language tool development born from research roles in the US and Prague. Her background includes teaching and research positions going back to Southern Federal University and industry experience as a lead programmer, giving her a rare combination of pedagogical, theoretical, and hands-on systems skills. Based in Lafayette, Indiana, she is comfortable navigating multicultural research environments and advancing formal verification techniques toward usable language implementations.
12 years of coding experience
1 year of employment as a software developer
Магистр, Фундаментальная информатика и информационные технологии, 5, Магистр, Фундаментальная информатика и информационные технологии, 5 at Южный Федеральный Университет (бывший Ростовский Государственный Университет)Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Northeastern University
English, Russian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (48)
programming-language10
machine-learning10
hpc10
science10
julia10
numerical9
hugo9
julialang9
jekyll8
ocaml7
estimate6
lightgraphs6
statistics6
graph-algorithms6
smt5
Programming languages (12)
Github contributions (5)
nuprl/prl-seminar-junior
Sep 2019 - May 2020
Contributions:9 commits, 8 pushes, 1 branch in 8 months
julbinb/neu-prl-website
Sep 2018 - Aug 2021
Source for website at
Contributions:47 pushes, 4 branches in 3 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.