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

Shishkin Evgeniy

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 21st.

Leave a Reply