Author Archives: Eugene Kornykhin

December 17: On smart-contracts reliability increasing using symbolic model checking

Shishkin Evgeniy is a leading researcher at InfoTeCS. The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on December 17th. Talk’s slides for downloading. Here is the recording of the Zoom conference: … Continue reading

Leave a comment

October 31: Predicate and automata programming technology

Vladimir I. Shelekhov — Ph.D., A.P. Ershov Institute of Informatics Systems, Novosibirsk. The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on October 31. Tweet This Post Send Gmail

Leave a comment

June 13: Relational invariants as solutions of non-linear constrained Hoare clauses systems

Dmitry Mordvinov — Ph.D. student at Saint-Petersburg State University, JetBrains Research. The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on June 13. Tweet This Post Send Gmail

Leave a comment

March 21st: Management of information which is duplicated in software artifacts

Dmitry Koznov — Ph.D., prof. at Saint-Petersburg State University. The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on March 21st. Tweet This Post Send Gmail

Leave a comment

February 21st: Methods and means of implementing software-controlled software development process of critical information systems

Aleksandr Samonov — senior researcher at Mozhaisky Military Space Academy, Ph.D., assistant professor. The talk presents the results of the analysis of modern scientific publications, the existing regulatory framework, as well as the technologies and tools used for developing software … Continue reading

Leave a comment

September, 20: Automata-based programming: definition, model, implementation

Vjacheslav Lyubchenko is an in-house developer. His scientific interest is automata-based programming. Slides (PDF). The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on September 20. Tweet This Post Send Gmail

Leave a comment

June, 21st: On building of a smart contracts formal verification toolset

Shishkin Evgeniy is a leading researcher at InfoTeCS. His scientific interests are software deductive formal verification, formal specification, specialized domain logics construction, distributed and reactive systems specification and verification, functional programming. The seminar will be at Ivannikov Institute for System … Continue reading

Leave a comment

March 1st: On verification of programs operating on strings

Antonina Nepeivoda is a researcher at Research Center for Multiprocessor Systems of The Program Systems Institute of Russian Academy of Sciences. Her scientific interests are program transformation and program anaysis, formal languages, formal grammars. Back in the 1970s a fold-unfold … Continue reading

Leave a comment

November, 16th: Operational approaches to weak memory models

Anton Podkopaev is a PhD student at Saint Petersburg State University, Russia, and a researcher at JetBrains Research (Language Processing Lab). The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on November, … Continue reading

Leave a comment

September, 21st: Complex Systems Building Technology INTERCOMP

Sergey Grudtsin — Ph.D., PJSC “ALMAZ R&P Corp.”. The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on Septermber, 21st. Tweet This Post Send Gmail

Leave a comment