Andrei Tatarnikov’s PhD Defence

Home / New Features / Andrei Tatarnikov’s PhD Defence

Andrei Tatarnikov (MicroTESK Core Team Lead) defended his PhD thesis on MicroTESK at Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS).

The title is “Automated Construction of Test Program Generators for Microprocessors Based on Formal Specifications”.


Leave a Reply

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