'%3e%3cpath%20d='M29.5529%2025.4577C28.9763%2024.0918%2028.1395%2022.8511%2027.0891%2021.8047C26.0419%2020.7553%2024.8014%2019.9186%2023.4361%2019.3408C23.4239%2019.3347%2023.4116%2019.3317%2023.3994%2019.3256C25.3039%2017.95%2026.5419%2015.7092%2026.5419%2013.1812C26.5419%208.99325%2023.1487%205.6001%2018.9608%205.6001C14.7729%205.6001%2011.3797%208.99325%2011.3797%2013.1812C11.3797%2015.7092%2012.6177%2017.95%2014.5222%2019.3286C14.51%2019.3347%2014.4977%2019.3378%2014.4855%2019.3439C13.116%2019.9216%2011.8871%2020.7501%2010.8325%2021.8078C9.78311%2022.8549%208.94642%2024.0954%208.36866%2025.4607C7.80106%2026.7974%207.49494%2028.2304%207.46687%2029.6823C7.46606%2029.7149%207.47178%2029.7474%207.4837%2029.7778C7.49563%2029.8082%207.51351%2029.8358%207.5363%2029.8592C7.55909%2029.8826%207.58633%2029.9011%207.6164%2029.9138C7.64648%2029.9265%207.67879%2029.933%207.71142%2029.933H9.54556C9.68007%2029.933%209.78706%2029.826%209.79011%2029.6945C9.85125%2027.3346%2010.7989%2025.1245%2012.4741%2023.4493C14.2073%2021.716%2016.5092%2020.7623%2018.9608%2020.7623C21.4124%2020.7623%2023.7143%2021.716%2025.4475%2023.4493C27.1227%2025.1245%2028.0703%2027.3346%2028.1315%2029.6945C28.1345%2029.829%2028.2415%2029.933%2028.376%2029.933H30.2102C30.2428%2029.933%2030.2751%2029.9265%2030.3052%2029.9138C30.3353%2029.9011%2030.3625%2029.8826%2030.3853%2029.8592C30.4081%2029.8358%2030.426%2029.8082%2030.4379%2029.7778C30.4498%2029.7474%2030.4555%2029.7149%2030.4547%2029.6823C30.4242%2028.2211%2030.1215%2026.7997%2029.5529%2025.4577ZM18.9608%2018.4391C17.5577%2018.4391%2016.2371%2017.8919%2015.2436%2016.8984C14.2501%2015.9049%2013.7029%2014.5843%2013.7029%2013.1812C13.7029%2011.7781%2014.2501%2010.4575%2015.2436%209.46401C16.2371%208.47052%2017.5577%207.92334%2018.9608%207.92334C20.3639%207.92334%2021.6845%208.47052%2022.678%209.46401C23.6715%2010.4575%2024.2187%2011.7781%2024.2187%2013.1812C24.2187%2014.5843%2023.6715%2015.9049%2022.678%2016.8984C21.6845%2017.8919%2020.3639%2018.4391%2018.9608%2018.4391Z'%20fill='white'/%3e%3c/g%3e%3c/svg%3e)
Dr. Igor Anureev
Theoretical Programming Lab, A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Novosibirskaya Oblast’, Russia
'%3e%3cpath%20d='M22.1642%2019.0924C21.7317%2018.068%2021.1041%2017.1375%2020.3163%2016.3527C19.5309%2015.5656%2018.6006%2014.9381%2017.5766%2014.5048C17.5674%2014.5002%2017.5582%2014.4979%2017.5491%2014.4933C18.9774%2013.4616%2019.9059%2011.7811%2019.9059%209.88504C19.9059%206.74408%2017.3611%204.19922%2014.2201%204.19922C11.0792%204.19922%208.53429%206.74408%208.53429%209.88504C8.53429%2011.7811%209.46282%2013.4616%2010.8912%2014.4956C10.882%2014.5002%2010.8728%2014.5025%2010.8636%2014.5071C9.83652%2014.9404%208.91487%2015.5617%208.1239%2016.355C7.33685%2017.1404%206.70933%2018.0707%206.276%2019.0947C5.85031%2020.0972%205.62072%2021.172%205.59967%2022.2609C5.59905%2022.2853%205.60335%2022.3097%205.61229%2022.3325C5.62123%2022.3553%205.63465%2022.376%205.65174%2022.3935C5.66883%2022.4111%205.68926%2022.425%205.71182%2022.4345C5.73437%2022.444%205.7586%2022.4489%205.78308%2022.4489H7.15868C7.25956%2022.4489%207.3398%2022.3686%207.3421%2022.2701C7.38795%2020.5001%208.09868%2018.8425%209.35506%2017.5861C10.655%2016.2862%2012.3814%2015.5709%2014.2201%2015.5709C16.0588%2015.5709%2017.7852%2016.2862%2019.0852%2017.5861C20.3415%2018.8425%2021.0523%2020.5001%2021.0981%2022.2701C21.1004%2022.3709%2021.1807%2022.4489%2021.2815%2022.4489H22.6571C22.6816%2022.4489%2022.7058%2022.444%2022.7284%2022.4345C22.751%2022.425%2022.7714%2022.4111%2022.7885%2022.3935C22.8056%2022.376%2022.819%2022.3553%2022.8279%2022.3325C22.8369%2022.3097%2022.8412%2022.2853%2022.8406%2022.2609C22.8176%2021.165%2022.5907%2020.0989%2022.1642%2019.0924ZM14.2201%2013.8284C13.1678%2013.8284%2012.1773%2013.418%2011.4322%2012.6729C10.6871%2011.9278%2010.2767%2010.9374%2010.2767%209.88504C10.2767%208.83271%2010.6871%207.84227%2011.4322%207.09715C12.1773%206.35204%2013.1678%205.94165%2014.2201%205.94165C15.2724%205.94165%2016.2629%206.35204%2017.008%207.09715C17.7531%207.84227%2018.1635%208.83271%2018.1635%209.88504C18.1635%2010.9374%2017.7531%2011.9278%2017.008%2012.6729C16.2629%2013.418%2015.2724%2013.8284%2014.2201%2013.8284Z'%20fill='%238590A2'/%3e%3c/g%3e%3c/svg%3e)
Co-authors
Following
Followers
Biography
No biography has been shared yet.
Affiliations
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Novosibirsk, Novosibirskaya Oblast’, Russia
Theoretical Programming Lab
Honors and Awards
No honors or awards have been shared yet.
Experience
No experience has been shared yet.
Research Interests
No research keyword has been shared yet.
Socials
No social link has been shared yet.