Prior to joining Oxford, Lin was an assistant professor in computer science at Yale-NUS College (National University of Singapore). Broadly speaking, he is interested in all aspects (ranging from theory to systems) of the development of principled techniques that can make software less error-prone, and more efficient.Lin was a winner of Google Faculty Research Award (2017), EPSRC Research Fellowship (2010-2013), and LICS Kleene Award (2010). He regularly publishes, reviews, and serves in the program committee at premier conferences in the areas including CAV, CONCUR, FoSSaCS, ICALP, LICS, OOPSLA, POPL, and TACAS.