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

Your email address will not be published. Required fields are marked *


You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>