Nikita A. Protsenko (Preferred)
Protsenko Nikita Aleksandrovich
Protsenko Nikita
Protsenko N A
N A Protsenko
N. A. Protsenko
Nikita A. Protsenko
MS student, School of mathematics and computer science, Siberian Federal University
Joined
January 2026
Names
,
,
,
,
,
Emails
****@gmail.com (Confirmed)
****@stud.sfu-kras.ru (Confirmed)
Personal Links
Career & Education History
MS student
School of mathematics and computer science, Siberian Federal University (sfu.ru)
2025 – 2027
Undergrad student
School of mathematics and computer science, Siberian Federal University (sfu.ru)
2021 – 2025
Advisors, Relations & Conflicts
Expertise
logic
, temporal logic
, modal logic
, theoretical computer science
2022 – Present