Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Registered user since Wed 20 Jul 2016

Name: Boris Yakobowski

Country: France

Affiliation: AdaCore

Personal website: http://www.yakobowski.org/

Research interests: Formal verification, Static analysis, Abstract interpretation


Infer Practitioners 2020Invited Speaker of *Infer*ring things on Ada code within the Infer Practitioners 2020-track
Show activities from other conferences

Using general profile