Kostiukov Iurii Olegovich

Dissertation submitted for the degree of candidate of physico-mathematical sciences Scientific specialty 2.3.5. Mathematical and software support for computers, complexes and computer networks Theme: Automatic inference of inductive invariants of programs with algebraic data types Date & time: 13.03.2024, 15:00 Venue: St. Petersburg, Peterhof, Ulyanovskaya str. 1, Blue Hall