‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Nikolay Shilov

Registered user since Thu 17 Nov 2016

Name:Nikolay Shilov
Bio:

Graduated Math Department of Novosibirsk State Uni in 1983, got Ph.D. from Novosibirsk Institute of Computational Math in 1087. Since than had research and teaching positions (visiting, temporal and permanent) in Australia, Kazakhstan, New Zealand, South Korea, and (of course) Russia. From the last years of the university studies I am pretty much interested in applied Logic, program semantics, verification and equivalence.

Country:Russia
Affiliation:Innopolis University
Research interests:Applied Logic, program semantics, verification and equivalence

Contributions

VPT 2019 Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
Show activities from other conferences

‹Programming› 2019-profile
View general profile