Martin Vechev

Bulgarian computer scientist From Wikipedia, the free encyclopedia