User:Georgy Dunaev

Bauman Moscow State Technical University (BMSTU) bachelor's degree 2016 ("Applied Mathematics"") Moscow State University (MSU) master's degree 2019  ("Mathematics and Computer Science")

github: georgydunaev

Fields of interest: set theory, first-order logic, formal verification.

mail: georgedunaev@gmail.com

I am currently looking for international job opportunities/academic advisor.