Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
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

Personal website: http://persons.iis.nsk.su/en/shilov

Research interests: Applied Logic, program semantics, verification and equivalence


SPIN 2019Author of Applying Model Checking Approach with Floating Point Arithmetic within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

ISSTA 2019-profile
View general profile