Natalia Garanina

Pronouns: she/her

Researcher, Novosibirsk State University

  • Joined January 2025

Names

Natalia Garanina (Preferred)

Emails

****@g.nsu.ru (Confirmed)

Personal Links

Career & Education History

Researcher
Novosibirsk State University (english.nsu.ru)
2024 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formal methods, modal logics, model checking, program logics, real-time systems
2004 – Present