Boris Yakobowski is a Senior Software Engineer at AdaCore. He obtained his PhD in Computer Science from the University of Paris-Diderot. His research interests lie in the verification of programs. At AdaCore, he is developing the abstract interpretation-based static analyzer, CodePeer. Previously, he worked on the Frama-C framework for the analysis of C programs.
Most Recent
Most Recent