Anthony Lin

Lin completed his PhD at Edinburgh's School of Informatics in 2010 under the supervision of Leonid Libkin and co-supervision of Richard Mayr. His current research interests concern logical techniques for software model checking, including automated reasoning (in particular, theory over strings/sequences), dynamic symbolic execution, certified proof checking, synthesis, automata learning, and regular model checking. Lin is also interested in applications of logic and automata to AI and machine learning, as well as graph databases. Lin's work has been recognized through several awards including ERC Consolidator Grant, ERC Starting Grant, Amazon Research Award, Google Faculty Award, and EPSRC Postdoctoral Fellowship in Theoretical Computer Science.