Igor Anureev (Preferred)
Igor Anureev
Joined
December 2024
Names
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
Expertise
program verification
, ontology design
, program specification
2000 – 2024