BSc Melbourne, PhD Edinburgh
Anthony Lin – Governing Body Fellow – is Associate Professor of Programming Languages. He graduated with a BSc in Computer Science and Maths (2004) from the University of Melbourne and a PhD in Informatics from the University of Edinburgh (2010). He has previously held various academic/research positions at various places including Academia Sinica, Oxford, Singapore University of Design and Technology, and Yale-NUS. His current research interests lie in the field of constraint solving, program analysis, and formal verification, especially motivated by problems in (i) web security, (ii) web performance optimisation, (iii) analysis of concurrent programs with many processes, and (iv) graph databases. He is also interested in developing techniques from logic and automata that are applicable to these problems.