Natalia Garanina (Preferred)
Natalia Garanina
Researcher, Novosibirsk State University
Joined
January 2025
Names
Emails
****@g.nsu.ru (Confirmed)
Personal Links
Career & Education History
Researcher
Novosibirsk State University (english.nsu.ru)
2024 – Present
Advisors, Relations & Conflicts
Expertise
Formal methods
, modal logics
, model checking
, program logics
, real-time systems
2004 – Present