Martin Vechev is a Professor at the Department of Computer Science, ETH Zurich, where he leads a research lab working at the intersection of artificial intelligence and programming languages. Previously, he was a Research Staff Member at the IBM T.J. Watson Research Center. He obtained his PhD from Cambridge University.