Nikolay V. Shilov

Nikolay V. Shilov is an Assistant Professor at Innopolis University, Russia, affiliated with the School of Software Engineering and the Institute of Information Systems. He holds a PhD and has over 30 years of experience in theoretical computer science, formal methods, and logic in computer science.

Education:

• Ph.D. in Computer Science, Novosibirsk Computing Center of Siberian Branch of the Soviet Academy of Sciences, 1987

His research interests span Formal Methods, Program Logics, Model Checking, Knowledge Representation, Multiagent Systems, and Computer Language Ontology. He has extensive experience in applying dynamic logic, temporal logic, and description logic to problems in software verification and knowledge reasoning. His recent work emphasizes formal verification of standard mathematical functions and cyber-physical systems.

The 15 most recent publications reflect a strong focus on formal verification, education in formal methods, multiagent systems, and platform-independent specification. Topics include model checking with floating-point arithmetic, recursion elimination, functional programming pedagogy, and ontology for computer languages. There is a consistent thread of bridging theory with practical applications in software engineering and education.

Scientific Awards and Honors:

• No specific awards listed in the provided text.

Nikolay Shilov has supervised several Master’s and PhD students, including Peter Schneider, Sergey Berezin, Evgeny Bodin, Natalia Garanina, and Aizhan Sateckbayeva. He has been involved in externally funded research projects supported by the Russian Basic Research Foundation, focusing on formal specification and verification of standard mathematical functions and natural language-based requirement extraction. He is also active in academic service, serving on program committees of major conferences like FM 2019 and co-chairing the PSSV workshops since 2016.

He leads and participates in research seminars such as ru-STEP (Russian Seminar on Software Engineering, Theory and Experimental Programming) and is deeply involved in programming contests, including the Open All-Siberian Programming Contests, emphasizing the educational value of formal methods and algorithmic thinking.