معرفی
Julia Belyakova is a Postdoctoral Researcher at Purdue University since 2023, focusing on type theory and programming languages. She earned her Ph.D. in Computer Science from Northeastern University (2023) and an M.S. from Southern Federal University (2014).
- Current Position: Postdoc, Purdue University
- Ph.D. Institution: Northeastern University
- Education: M.S. in Computer Science from Southern Federal University
Her research spans type theory, programming languages, theorem proving, generic programming, compiler construction, and software testing. Recent work includes formalizing subtyping in Julia, analyzing type stability for JIT compilation, and type-theoretic approaches to program incorrectness. Trends in her publications emphasize empirical validation of type systems and compiler optimizations for dynamic languages.
She has served on program committees for OOPSLA Review Committee (2025), TyDe Program Committee (2024), and ARRAY Committee (2024). No formal scientific awards are documented in the provided text.
