innakalinina

Inna Kalinina

Professor: Alexei Buchachenko

In 2011 year Inna received specialist (master) degree in Lomonosov Moscow State University, Department of Computational Mathematics and Cybernetics , her diploma work entitled “Register machine computations with counters”.  After that she continued her study as a PhD student in chair of Mathematical Cybernetics. During Phd studing Inna taught courses in discrete mathematics  in Department of Computational Mathematics and also participated in grants as a researcher in  Department of Chemistry and  Department of Computational Mathematics of the Moscow State University.

In 2015 year Inna received a candidate of science (PhD) degree in physics and mathematics at the Department of Computational Mathematics and Cybernetics, Moscow State University. The topic of her thesis (entitled “Systems of functional equations in countable-valued logic”  generally lies in the fields of mathematical logic, recursive functions theory and algorithms’ theory. At Skoltech Inna’s research lies in area of angular momentum theory.

- Project #1 (grant-related): many-body Hamiltonians and transition matrix elements for open-shell atomic species isolated in rare-gas crystals-Project #2: Angular momentum coupling in cold collisions of atoms and ions

S. S. Marchenkov, I. S. Kalinina. The FE-closure operator in countable-valued logic. Moscow University Computational Mathematics and Cybernetics, Volume 37, Issue 3, Pages 131-136, 2013

I. S. Kalinina. Action of an FE-Closure operator on functions of countable-valued logic. Moscow University Computational Mathematics and Cybernetics, Volume 38, Issue 3, Pages 134-138, 2014

Kalinina I. S., Marchenkov S. S. On complexity of problem of satisfiability for systems of countable-valued functional equations. Russian Mathematics (Izvestiya VUZ. Matematika), Volume 59, Issue 8, 2015

Kalinina I. S. On some properties of FE-closure operator in countable-valued logic. University proceedings. Volga region. Physical and mathematical sciences, 2014. Issue 4, Pages 37-46.

2015. PhD (Candidate of Science) degree in physics and mathematics (speciality: discrete mathematics), Lomonosov Moscow State University, Department of Computational Mathematics and Cybernetics, Chair of Mathematical Cybernetics

2011. Specialist (Master) degree, Lomonosov Moscow State University, Department of Computational Mathematics and Cybernetics, Chair of Mathematical Cybernetics

 

Recursive functions theory, functional systems theory, theory of algorithms, angular momentum theory.