Igor Anureev

Pronouns: he/him

  • Joined December 2024

Names

Igor Anureev (Preferred)

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Senior Reseacher
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences (iis.nsk.su)
1998 – 2024
 

Advisors, Relations & Conflicts

No relations added

Expertise

program verification, ontology design, program specification
2000 – 2024