Martin Vechev

Martin Vechev is the founder and architect of INSAIT, the first world-class AI/computer science research center in Eastern Europe. Martin is a full professor at ETH Zurich and leads the Secure, Reliable, Intelligent Systems Lab. Martin is also a core faculty member at the Quantum Center and AI Center at ETH Zurich. Additionally, Martin is the co-founder and scientific adviser at LatticeFlow, DEepCode AG, and ChainSecurity. Prior to these roles, Martin worked at IBM T.J. Watson Research Center and Fadata Ltd. Martin holds a PhD in Computer Science from the University of Cambridge and a BSc in Computer Science from Simon Fraser University.