Prof. Martin Vechev receives the prestigious ACM Young Researcher Award.