Author Archives: Eugene Kornykhin

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

April, 27th: Fault-tolerance testing of distributed trading system by faults emulation

Sergey Kostanbaev and Vadim Zherder work at MOEX (Moscow Exchange). The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on April, 27th. Tweet This Post Send Gmail

Leave a comment

March, 16th: Proving properties of functional programs by equality saturation

Sergei Grechanik works at Keldysh Institute of Applied Mathematics (Russian Academy of Sciences). He is graduated from Lomonosov Moscow State University in 2011. The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on … Continue reading

Leave a comment

February, 16th: Methods and tools for cache-coherence protocols verification

Vladimir Burenkov — researcher at JSC «MCST». He is graduated from Bauman Moscow State Technical University in 2012. The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on February, 16th. Tweet This Post … Continue reading

Leave a comment

January, 19th: Cybersecurity and avionics operating systems

Abramov Aleksandr — CEO at Scientific and Technical Center “AMDEF”. The center develops new security RTOS CUBE and provides services of security analysis for information systems. Fisoun Ilya — software engineer at Bauman Moscow State Technical University. The event will … Continue reading

Leave a comment

November, 17th: Project Angara: F# for computational experiments

Sergey Berezin — Ph.D., associate professor at Lomonosov Moscow State University, head of r&d group «Information Technologies in Science». Dmitry Voytsekhovsky — graduated from Lomonosov Moscow State University, trained in Microsoft Research Cambridge, now he is RSDE at r&d group … Continue reading

Leave a comment

October, 20th: Software and tools for verification by DO-178B/C

Vladimir Kozyrev — Ph.D., docent, affiliated with National Research Nuclear University MEPhI (Department 22 “Cybernetics”), expert of DC BARS. The event will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on October, 20th. Tweet This … Continue reading

2 Comments