Author Archives: Eugene Kornykhin

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 →

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

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

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

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 →

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

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 →

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 →

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 →

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