Shishkin Evgeniy

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 17^th.

Talk’s slides for downloading.

Here is the recording of the Zoom conference:

Vladimir I. Shelekhov

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.

Dmitry Mordvinov

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.

Dmitry Koznov

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.

Aleksandr Samonov

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 for critical computer intensive systems. The author proposes to develop a unified modeling/language environment for the implementation of a software-controlled development process. The main components of this environment and process are:

- graphical/textual metamodel of a formalized representation of a set of requirements and architecture descriptions in the form of interrelated fUML diagrams;

- method of implementation of software-controlled development and verification process using the developed models and algorithms.

The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on February 21st.

Vjacheslav Lyubchenko

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.

Shishkin Evgeniy

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 Programming of Russian Academy of Sciences at 5p.m. on June 21^st.

Antonina Nepeivoda

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 based program transformation technique named supercompilation was developed by V.F. Turchin for the language Refal for the associative data type (the string data type supplied by the bracket constructor). The talk describes a refinement of Turchin’s supercompilation method for the string data type, which essentially uses the associativity property. A new restriction type, namely word equations, is proposed in the refinement. An example of program transformation and analysis done by a model supercompilation tool that uses this new restriction type are shown in the talk.

The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on March 1^st.

Anton Podkopaev

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, 16th.

Sergey Grudtsin

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.