Natalia Garanina

Pronouns: she/her

Researcher, Novosibirsk State University

Joined January 2025

Names

Natalia Garanina (Preferred)

Suggest Name

Emails

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

Suggest Email

Personal Links

Suggest URL

Career & Education History

Researcher

Novosibirsk State University (english.nsu.ru)

2024 – Present

Suggest Position

Advisors, Relations & Conflicts

No relations added

Suggest Relation

Expertise

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

2004 – Present

Suggest Expertise