Moscow, Russia, Stariy Petrovsko-Razumovskiy proezd 1/23, bld.1
2nd floor, office 2-10


Evgeniy Shishkin

Seasoned distributed systems developer and researcher with expertise in the following areas: functional/reactive/logic programming, formal verification, quasi-automatic deductive systems, distributed systems. Have experience with great variety of languages and frameworks, both low level and high level. Participated in many R&D software projects and a few research projects.

Currently, I hold a Senior Researcher position at scientific department of InfoTeCS. I'm investigating ways of building reliable Smart Contracts of blockchain using formal methods.


  • Debugging Smart-Contract's Business Logic Using Symbolic Model-Checking
    Evgeniy Shishkin

  • Verifying Functional Requirements of Smart Contracts Using Symbolic Model Checking (in Russian)
    Evgeniy Shishkin
    accepted to ISPRAS Open 2018, Moscow, Russia, 2018

  • Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm (in Russian)
    Evgeniy Shishkin
    OSDay 2018, Moscow, Russia, 2018
    [Video] [Presentation]

  • Towards building an environment for constructing reliable Smart Contracts (in Russian)
    Evgeniy Shishkin
    RusCrypto, Solnechnogorsk, Moscow region, Russia, 2018

  • Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm,
    Evgeniy Shishkin
    ACM ICFP 2017 Erlang Workshop, Oxford, UK, 2017
    [ Preprint ] [ Presentation]

  • SafeScript - Domain specific language for cluster emergency shutdown logic (in Russian)
    Evgeniy Shishkin
    Parallel Computing Technologies Conference, Chelyabinsk, Russia, 2013


  • Verifying functional requirements of Solidity smart-contracts using symbolic model-checking (in Russian),
    Mathematical Problems of Computer Science Seminar
    Moscow State University, Moscow, Russia, 2018
    [Presentation] [Video Part 1 Part 2 Part 3]

  • A technology for Smart Contracts Formal Verification (in Russian),
    Masterchain Summer School
    Higher School of Economics, Moscow, Russia, 2018

  • Towards Constructing a Formal Verification Tool for Smart Contracts (in Russian),
    Software Development and Analisys Seminar
    Institute for System Programming of the RAS, Moscow, Russia, 2018
    [Video] [Presentation]