Julia Belyakova
Julia Belyakova
Julia Belyakova
Julia Belyakova
Education
- MS in Computer Science and Information Technologies, Southern Federal University —Russia
- BS in Computer Science and Information Technologies, Southern Federal University — Russia
Pronouns
she/her/hers
Biography
Julia Belyakova is a doctoral student studying programming languages at Northeastern University’s Khoury College of Computer Sciences, advised by Jan Vitek. Her research interests include design and implementation of programming languages, type theory, generic programming, theorem provers, object-oriented and functional programming, algorithms, software engineering, and software testing.
Julia earned her undergraduate and graduate degrees in computer science from Southern Federal University in Rostov-on-Don, Russia. From 2014 to 2016 she taught at the I.I. Vorovich Institute of Mathematics, Mechanics, and Computer Science at Southern Federal University. After this, Julia was a research scientist, first at Northeastern University, and then at the Czech Technical University in Prague until 2017.
Julia has been working on formalizing subtyping relation for the Julia programming language – an object-oriented language for scientific computing with a unique combination of language features. In the future, she would like to correct Julia’s foundations, including its subtyping relation. Going forward, Julia would like to continue research on programming languages and teach.
Education
- MS in Computer Science and Information Technologies, Southern Federal University —Russia
- BS in Computer Science and Information Technologies, Southern Federal University — Russia
Pronouns
she/her/hers
Biography
Julia Belyakova is a doctoral student studying programming languages at Northeastern University’s Khoury College of Computer Sciences, advised by Jan Vitek. Her research interests include design and implementation of programming languages, type theory, generic programming, theorem provers, object-oriented and functional programming, algorithms, software engineering, and software testing.
Julia earned her undergraduate and graduate degrees in computer science from Southern Federal University in Rostov-on-Don, Russia. From 2014 to 2016 she taught at the I.I. Vorovich Institute of Mathematics, Mechanics, and Computer Science at Southern Federal University. After this, Julia was a research scientist, first at Northeastern University, and then at the Czech Technical University in Prague until 2017.
Julia has been working on formalizing subtyping relation for the Julia programming language – an object-oriented language for scientific computing with a unique combination of language features. In the future, she would like to correct Julia’s foundations, including its subtyping relation. Going forward, Julia would like to continue research on programming languages and teach.
© 2023 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2023 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...